[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
new semantic org-entities
From: |
Alexandre Garreau |
Subject: |
new semantic org-entities |
Date: |
Wed, 20 Oct 2021 01:56:51 +0200 |
I suggest to add this, which I keep adding to my org-user-entities:
(("frac23" "\\frac23" t "⅔" "2/3" "⅔" "⅔")
("over" "\\over" t "/" "/" "/" "/")
("iff" "\\iff" t "⇔" "<=>" "<=>" "⇔")
("implies" "\\implies" t "⇒" "=>" "=>" "⇒"))
The two first just allow to type simple fractions more readably, the two
last add semantic variants to the already existing Rightarrow and
Rightleftarrow.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- new semantic org-entities,
Alexandre Garreau <=