Open truebluepl opened 4 months ago
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
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:
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: ||