Typing single pipe vs typing double pipe

[truebluepl]

Actual Behavior

Typing single pipe generates Latex value: \left|\right| Which is visually and syntactically different from: || - this one can be generated when second pipe sign is typed.

Expected Behavior

Typing single pipe should generate Latex: ||

[arnog]

To clarify: the issue is that there is a \left...\right command?

Can you explain why not having the \left...\right command is preferable?

Also, you pressing option+| will produce a | without \left...\right

[truebluepl]

To clarify: the issue is that there is a \left...\right command?

Yes.

Can you explain why not having the \left...\right command is preferable?

There are two reasons:

• I can't compare Latex values and check syntax equality,
• they are different visually.