Re: Usage of | character in digraphs

Hi folks, I want to setup a few more digraphs according to my need. But while defining those I am running into error.

For example, I want to add ℕ (symbol for natural numbers set) as N| (N followed by the pipe character) but when defining the digraph as

: digraphs N| 8469

it is throwing E474.

Can I not use the pipe character while defining digraphs?

--
Manas
CSAM Undergraduate 2022