add bidi digraphs
- add digraphs for bidi codes [emacs][vim] - add snippet for org to beamer export [emacs]
This commit is contained in:
parent
8909963c47
commit
befa46b6b4
20
emacs/.emacs
20
emacs/.emacs
@ -206,6 +206,26 @@
|
||||
(evil-ex-define-cmd "tabon[ly]" 'tab-bar-close-other-tabs))
|
||||
|
||||
|
||||
; Allow org export to beamer
|
||||
(require 'ox-beamer)
|
||||
; (setq org-latex-to-pdf-process (list "latexmk -pdf %f"))
|
||||
;(eval-after-load "ox-latex"
|
||||
;
|
||||
; ;; update the list of LaTeX classes and associated header (encoding, etc.)
|
||||
; ;; and structure
|
||||
; '(add-to-list 'org-latex-classes
|
||||
; `("beamer"
|
||||
; ,(concat "\\documentclass[presentation]{beamer}\n"
|
||||
; "[DEFAULT-PACKAGES]"
|
||||
; "[PACKAGES]"
|
||||
; "[EXTRA]\n")
|
||||
; ("\\section{%s}" . "\\section*{%s}")
|
||||
; ("\\subsection{%s}" . "\\subsection*{%s}")
|
||||
; ("\\subsubsection{%s}" . "\\subsubsection*{%s}"))))
|
||||
|
||||
|
||||
|
||||
|
||||
; (defun get-buffer-contents (buffer)
|
||||
; (with-current-buffer buffer
|
||||
; (save-restriction
|
||||
|
@ -198,8 +198,10 @@
|
||||
((?d ?m) . ?\x25c7) ; ◇ (duplicate of Dw)
|
||||
((?! ?3) . ?\x2262) ; ≢ (because ≡ is `digr =3`)
|
||||
((?m ?p) . ?\x21a6) ; ↦: maps to
|
||||
((?F ?F) . ?\x27d8) ; ⊥ (like False) (overriding : Form feed)
|
||||
((?T ?T) . ?\x27d9) ; ⊤ (like True) (duplicate of -T)
|
||||
;((?F ?F) . ?\x27d8) ; ⟘ (like False) (overriding : Form feed)
|
||||
;((?T ?T) . ?\x27d9) ; ⟙ (like True) (duplicate of -T)
|
||||
((?F ?F) . ?\x22a5) ; ⊥ (like False) (overriding : Form feed)
|
||||
((?T ?T) . ?\x22a4) ; ⊤ (like True) (duplicate of -T)
|
||||
|
||||
|
||||
; Basic math stuff
|
||||
@ -254,4 +256,30 @@
|
||||
; arrow
|
||||
((?= ?^) . ?\x21d1) ; ⇑
|
||||
((?= ?v) . ?\x21d3) ; ⇓
|
||||
|
||||
; Invisible unicode
|
||||
((?Z ?W) . ?\x200b) ; ZWS: https://en.wikipedia.org/wiki/Zero-width_space
|
||||
|
||||
; Unicode bidirectional codes
|
||||
((?L ?O) . ?\x202d) ; Left-to-right Override
|
||||
((?R ?O) . ?\x202e) ; Right-to-left Override
|
||||
((?L ?I) . ?\x2066) ; Left-to-right Isolate force
|
||||
((?R ?I) . ?\x2067) ; Right-to-left Isolate force
|
||||
((?L ?E) . ?\x202a) ; Left-to-right Embedding
|
||||
((?R ?E) . ?\x202b) ; Right-to-left Embedding
|
||||
|
||||
((?P ?I) . ?\x2069) ; Pop Directional Isolate Terminate nearest LRI or RLI (overriding ¶)
|
||||
((?P ?F) . ?\x202c) ; Pop Directional Formatting Terminate nearest LRE, RLE, LRO, or RLO
|
||||
|
||||
|
||||
;LRE U+202A Left-to-Right Embedding Try treating following text as left-to-right.
|
||||
;RLE U+202B Right-to-Left Embedding Try treating following text as right-to-left.
|
||||
;LRO U+202D Left-to-Right Override Force treating following text as left-to-right.
|
||||
;RLO U+202E Right-to-Left Override Force treating following text as right-to-left.
|
||||
;LRI U+2066 Left-to-Right Isolate Force treating following text as left-to-right without affecting adjacent text.
|
||||
;RLI U+2067 Right-to-Left Isolate Force treating following text as right-to-left without affecting adjacent text.
|
||||
;FSI U+2068 First Strong Isolate Force treating following text in direction indicated by the next character.
|
||||
;
|
||||
;PDF U+202C Pop Directional Formatting Terminate nearest LRE, RLE, LRO, or RLO.
|
||||
;PDI U+2069 Pop Directional Isolate Terminate nearest LRI or RLI.
|
||||
))
|
||||
|
@ -46,3 +46,6 @@ let @g = ":call InsertOutput('Goal')
"
|
||||
"" Emacs proofgeneral-like shortcuts for coqtail
|
||||
noremap <C-n> :CoqNext<CR>hh " next line. Dunno why cursor advaces horizontally 2 chars.
|
||||
noremap <C-p> :CoqUndo<CR>hh " undo last line
|
||||
|
||||
"" Don't auto indent an extra level for branches
|
||||
let g:coqtail_inductive_shift = 0
|
||||
|
@ -202,8 +202,10 @@ digr bx 9633 " □ (duplicate of OS)
|
||||
digr dm 9671 " ◇ (duplicate of Dw)
|
||||
digr !3 8802 " ≢ (because ≡ is `digr =3`)
|
||||
digr mp 8614 " ↦: maps to
|
||||
digr FF 10200 " ⊥ (like False) (overriding : Form feed)
|
||||
digr TT 10201 " ⊤ (like True) (duplicate of -T)
|
||||
"digr FF 10200 " ⟘ (like False) (overriding : Form feed)
|
||||
"digr TT 10201 " ⟙ (like True) (duplicate of -T)
|
||||
digr FF 8869 " ⊥ (like False) (overriding : Form feed)
|
||||
digr TT 8868 " ⊤ (like True) (duplicate of -T)
|
||||
|
||||
|
||||
"" Basic math stuff
|
||||
@ -264,6 +266,35 @@ digr jz 658 " ʒ
|
||||
digr =^ 8657 " ⇑
|
||||
digr =v 8659 " ⇓
|
||||
|
||||
" Invisible unicode
|
||||
digr ZW 8203 " ZWS: https://en.wikipedia.org/wiki/Zero-width_space
|
||||
digr ZJ 8204 " ZWJ overriding Hebrew letter צ)
|
||||
|
||||
" Unicode bidirectional codes
|
||||
"digr RT 8207 " RIGHT-TO-LEFT MARK
|
||||
"digr LT 8235 " LEFT-TO-RIGHT MARK
|
||||
digr LO 8237 " Left-to-right Override
|
||||
digr RO 8238 " Right-to-left Override (overriding ▢)
|
||||
digr LI 8294 " Left-to-right Isolate force
|
||||
digr RI 8295 " Right-to-left Isolate force
|
||||
digr LE 8234 " Left-to-right Embedding
|
||||
digr RE 8235 " Right-to-left Embedding
|
||||
|
||||
digr PI 8297 " Pop Directional Isolate Terminate nearest LRI or RLI (overriding ¶)
|
||||
digr PF 8236 " Pop Directional Formatting Terminate nearest LRE, RLE, LRO, or RLO
|
||||
|
||||
"LRE U+202A Left-to-Right Embedding Try treating following text as left-to-right.
|
||||
"RLE U+202B Right-to-Left Embedding Try treating following text as right-to-left.
|
||||
"LRO U+202D Left-to-Right Override Force treating following text as left-to-right.
|
||||
"RLO U+202E Right-to-Left Override Force treating following text as right-to-left.
|
||||
"LRI U+2066 Left-to-Right Isolate Force treating following text as left-to-right without affecting adjacent text.
|
||||
"RLI U+2067 Right-to-Left Isolate Force treating following text as right-to-left without affecting adjacent text.
|
||||
"
|
||||
"FSI U+2068 First Strong Isolate Force treating following text in direction indicated by the next character.
|
||||
"
|
||||
"PDF U+202C Pop Directional Formatting Terminate nearest LRE, RLE, LRO, or RLO.
|
||||
"PDI U+2069 Pop Directional Isolate Terminate nearest LRI or RLI.
|
||||
|
||||
|
||||
"" Matrix brackets
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user