Open andrehsu opened 3 years ago
For this table, the ⟺ character is double width, but the extension treats it as a single-width character, which results in an unaligned table.
How it looks:
| ¬(A ⟺ B) | Premise | | (A ⟹ B) ∧ (B ⟹ A) | | | | |
How it should look:
For this table, the ⟺ character is double width, but the extension treats it as a single-width character, which results in an unaligned table.
How it looks:
How it should look: