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