[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/julia-mode 747176f 177/352: fix latex symbol \bot
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/julia-mode 747176f 177/352: fix latex symbol \bot |
Date: |
Sun, 29 Aug 2021 11:22:40 -0400 (EDT) |
branch: elpa/julia-mode
commit 747176f42ce1d55e8c0ee16a0d9c55cbd939cd5b
Author: Jeff Bezanson <jeff.bezanson@gmail.com>
Commit: Yichao Yu <yyc1992@gmail.com>
fix latex symbol \bot
---
julia-mode.el | 1 +
1 file changed, 1 insertion(+)
diff --git a/julia-mode.el b/julia-mode.el
index d67b028..f32637b 100644
--- a/julia-mode.el
+++ b/julia-mode.el
@@ -1107,6 +1107,7 @@ Do not move back beyond MIN."
(puthash "\\vdash" "⊢" julia-latexsubs)
(puthash "\\dashv" "⊣" julia-latexsubs)
(puthash "\\top" "⊤" julia-latexsubs)
+(puthash "\\bot" "⊥" julia-latexsubs)
(puthash "\\models" "⊧" julia-latexsubs)
(puthash "\\vDash" "⊨" julia-latexsubs)
(puthash "\\Vdash" "⊩" julia-latexsubs)
- [nongnu] elpa/julia-mode cc5e1fe 135/352: tab-substitution of LaTeX symbols in Emacs julia-mode (for #6340, based on #6911), (continued)
- [nongnu] elpa/julia-mode cc5e1fe 135/352: tab-substitution of LaTeX symbols in Emacs julia-mode (for #6340, based on #6911), ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 5144c31 149/352: Highlight types in all type annotations., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 3caccea 148/352: `in` is a keyword, so highlight it., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 6105b93 151/352: Header improvements to conform to MELPA's standards., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 8442201 152/352: All julia functions and variables should be prefixed., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 662e153 169/352: Update .mailmap, ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode e4f0b02 167/352: Ensure ! in a macro invocation is highlighted correctly., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 47ad8e4 158/352: add 1607 new LaTeX tab completions from the unicode-math package (closes #7657), ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 0b96ff5 170/352: Revert "Update .mailmap", ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode d74b8a3 171/352: Use the syntax table to detect if point is in a comment., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 747176f 177/352: fix latex symbol \bot,
ELPA Syncer <=
- [nongnu] elpa/julia-mode faee243 179/352: Implementing julia-in-string and julia-in-char., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode ab58fb7 193/352: Update mailmap, ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 96d6597 194/352: Fixing highlighting of long character escape sequences., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode ca2fe4b 195/352: Removing julia-in-char., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode ea54e19 196/352: Fontify strings and chars as strings, not keywords., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 80c6754 197/352: Silencing byte-compiler warning., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode e4d0e09 199/352: Highlight quoted symbols, e.g. :foo., ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode 4b22a79 205/352: julia-mode.el: remove types that are removed or deprecated, ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode f84a425 219/352: Clean up stagedfunction, ELPA Syncer, 2021/08/29
- [nongnu] elpa/julia-mode f378cbc 208/352: Mailmap update., ELPA Syncer, 2021/08/29