[nongnu] elpa/proof-general a2bd550a2a 2/8: qrhl: Added more abbreviations and symbols in input method.

[ELPA Syncer]

branch: elpa/proof-general
commit a2bd550a2ab1d749b9a5e549d21d48025f8846ec
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>

    qrhl: Added more abbreviations and symbols in input method.
---
 qrhl/qrhl-input.el | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/qrhl/qrhl-input.el b/qrhl/qrhl-input.el
index 8d7bc41e46..ff6bd8ca58 100644
--- a/qrhl/qrhl-input.el
+++ b/qrhl/qrhl-input.el
@@ -411,7 +411,7 @@
  ("\\heartsuit" ?♥)
  ("\\hookleftarrow" ?↩)
  ("\\hookrightarrow" ?↪)
- ("\\iff" ?⇔)
+ ;("\\iff" ?⇔) ;; Defined below now
  ("\\imath" ?ı)
  ("\\in" ?∈)
  ("\\infty" ?∞)
@@ -758,6 +758,22 @@
  (">>" ?»)
  ("\\Cla" ["ℭ𝔩𝔞"])
  ("\\qeq" ["≡𝔮"])
+ ("\\equiv_q" ["≡𝔮"])
+ ("\\sub" ?⇩)
+ ("\\sup" ?⇧)
+ ("*_C" ["*⇩C"])
+ ("*_V" ["*⇩V"])
+ ("o_CL" ["o⇩C⇩L"])
+ ("*_S" ["*⇩S"])
+ ("\\ox_l" ["⊗⇩l"])
+ ("\\ox_o" ["⊗⇩o"])
+ ("\\ox_S" ["⊗⇩S"])
+ ("\\in_q" ["∈⇩𝔮"])
+ ("=_q" ["=⇩𝔮"])
+ ("\\fun" ["⇒"])
+ ("\\fun_CL" ["⇒⇩C⇩L"])
+ ("\\implies" ?⟶)
+ ("\\iff" ?⟷)
  )
 
 (provide 'qrhl-input)