Somehow, I had completely missed that this exists. It's super useful! Is
it ok to add things, like:
EE f \forall
EE x \exists
that I'd find useful? Or is there some scheme here such that I should
ask about such things first?
Riki
On 3/19/23 04:43, Enrico Forestieri wrote:
commit 4384ac75ffae706097f93f979c20e4080785649b
Author: Enrico Forestieri <for...@lyx.org>
Date: Sun Mar 19 10:26:08 2023 +0100
Cycle through arrows with autocorrect
The way autocorrect is implemented it is not possible to map
--> and ==> to \longleftarrow and \Longleftarrow, respectively.
One has to type ->- and =>= to that effect, which may be
counterintuitive.
This commit allows typing -> or => followed by * to cycle through
all possible arrows of the same type.
---
lib/autocorrect | 11 +++++++++++
1 files changed, 11 insertions(+), 0 deletions(-)
diff --git a/lib/autocorrect b/lib/autocorrect
index 98a46aa..a1d6f31 100644
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -124,6 +124,17 @@
\Leftarrow = \Longleftarrow
\Longleftarrow > \Longleftrightarrow
+\leftarrow * \longleftarrow
+\longleftarrow * \longleftrightarrow
+\longleftrightarrow * \leftarrow
+\rightarrow * \longrightarrow
+\longrightarrow * \longleftrightarrow
+
+\Leftarrow * \Longleftarrow
+\Longleftarrow * \Longleftrightarrow
+\Longleftrightarrow * \Leftarrow
+\Rightarrow * \Longrightarrow
+\Longrightarrow * \Longleftrightarrow
@ * \circ
\circ / \varnothing
--
----------------------------
Richard Kimberly (Riki) Heck
Professor of Philosophy
Brown University
Pronouns: they/them/their
Website: http://rkheck.frege.org/
Blog: http://rikiheck.blogspot.com/
Amazon: http://amazon.com/author/richardgheckjr
Google Scholar: https://scholar.google.com/citations?user=QUKBG6EAAAAJ
ORCID: http://orcid.org/0000-0002-2961-2663
Research Gate: https://www.researchgate.net/profile/Richard_Heck
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
