DejaVuSansCode icon indicating copy to clipboard operation
DejaVuSansCode copied to clipboard
verified publisher icon SSNikolaevich

Ligature for <->

Open ghost opened this issue 7 years ago • 0 comments

It would be nice to have a double-ended arrow ligature. This is useful for metamath, where <-> is used for "if and only if".

ghost avatar May 17 '18 14:05 ghost