| rev |
line source |
|
yuuji@11
|
1 ;;; -*- Emacs-Lisp -*-
|
|
yuuji@23
|
2 ;;; YaTeX math-mode-specific functions.
|
|
yuuji@64
|
3 ;;; yatexmth.el
|
|
yuuji@80
|
4 ;;; (c)1993-2006 by HIROSE Yuuji [yuuji@yatex.org]
|
|
yuuji@130
|
5 ;;; Last modified Thu May 27 16:33:55 2010 on firestorm
|
|
yuuji@11
|
6 ;;; $Id$
|
|
yuuji@11
|
7
|
|
yuuji@13
|
8 ;;; [Customization guide]
|
|
yuuji@13
|
9 ;;;
|
|
yuuji@13
|
10 ;;; By default, you can use two completion groups in YaTeX math
|
|
yuuji@52
|
11 ;;; mode, `;' for mathematical signs and `:' for greek letters. But
|
|
yuuji@13
|
12 ;;; you can add other completion groups by defining the alist of
|
|
yuuji@13
|
13 ;;; `prefix key' vs `completion list' into the variable
|
|
yuuji@13
|
14 ;;; YaTeX-math-key-list-private. If you wish to accomplish the
|
|
yuuji@23
|
15 ;;; completion as follows(prefix key is `,'):
|
|
yuuji@13
|
16 ;;;
|
|
yuuji@13
|
17 ;;; KEY COMPLETION
|
|
yuuji@13
|
18 ;;; s \sin
|
|
yuuji@13
|
19 ;;; S \arcsin
|
|
yuuji@13
|
20 ;;; c \cos
|
|
yuuji@13
|
21 ;;; C \arccos
|
|
yuuji@13
|
22 ;;; :
|
|
yuuji@13
|
23 ;;; T \arctan
|
|
yuuji@13
|
24 ;;; l \log
|
|
yuuji@13
|
25 ;;; hs \sinh
|
|
yuuji@13
|
26 ;;;
|
|
yuuji@23
|
27 ;;; Typing `s' after `,' makes `\sin', `hs' after `,' makes `\sinh'
|
|
yuuji@13
|
28 ;;; and so on. First, you have to define list of key-completion
|
|
yuuji@13
|
29 ;;; pairs. Variable name(YaTeX-math-funcs-list) is arbitrary.
|
|
yuuji@13
|
30 ;;;
|
|
yuuji@13
|
31 ;;; (setq YaTeX-math-funcs-list
|
|
yuuji@13
|
32 ;;; '(("s" "sin")
|
|
yuuji@13
|
33 ;;; ("S" "arcsin")
|
|
yuuji@13
|
34 ;;; :
|
|
yuuji@13
|
35 ;;; ("hs" "sinh")))
|
|
yuuji@13
|
36 ;;;
|
|
yuuji@13
|
37 ;;; Next, define the list of prefix-key vs completion list(defined
|
|
yuuji@13
|
38 ;;; above) into the variable YaTeX-math-key-list-private.
|
|
yuuji@13
|
39 ;;;
|
|
yuuji@13
|
40 ;;; (setq YaTeX-math-key-list-private
|
|
yuuji@23
|
41 ;;; '(("," . YaTeX-math-funcs-list)
|
|
yuuji@13
|
42 ;;; ("'" . Other-List-if-any)))
|
|
yuuji@13
|
43 ;;;
|
|
yuuji@13
|
44 ;;; Put these expressions into your ~/.emacs, and you can use this
|
|
yuuji@51
|
45 ;;; completion in the math-mode.
|
|
yuuji@13
|
46 ;;;
|
|
yuuji@13
|
47 ;;; And you can add your favorite completion sequences to the
|
|
yuuji@23
|
48 ;;; default completion list invoked with `;', by defining those lists
|
|
yuuji@13
|
49 ;;; into variable YaTeX-math-sign-alist-private.
|
|
yuuji@13
|
50
|
|
yuuji@13
|
51 ;;; 【イメージ補完の追加方法】
|
|
yuuji@13
|
52 ;;;
|
|
yuuji@52
|
53 ;;; 標準のイメージ補完では、「;」で始まる数式記号補完と、「:」で始
|
|
yuuji@13
|
54 ;;; まるギリシャ文字補完が使用可能ですが、これ以外の文字で始まる補完
|
|
yuuji@23
|
55 ;;; シリーズも定義することができます。例えば、「,」で始まる次のよう
|
|
yuuji@13
|
56 ;;; な補完シリーズを定義する場合を考えてみます。
|
|
yuuji@13
|
57 ;;;
|
|
yuuji@13
|
58 ;;; 補完キー 補完結果
|
|
yuuji@13
|
59 ;;; s \sin
|
|
yuuji@13
|
60 ;;; S \arcsin
|
|
yuuji@13
|
61 ;;; c \cos
|
|
yuuji@13
|
62 ;;; C \arccos
|
|
yuuji@13
|
63 ;;; :
|
|
yuuji@13
|
64 ;;; T \arctan
|
|
yuuji@13
|
65 ;;; l \log
|
|
yuuji@13
|
66 ;;; hs \sinh
|
|
yuuji@13
|
67 ;;;
|
|
yuuji@23
|
68 ;;; 「,」のあとに s を押すと \sin が、hs を押すと \sinh が入力されま
|
|
yuuji@13
|
69 ;;; す。このような補完リストの登録は以下のようにします(変数名は任意)。
|
|
yuuji@13
|
70 ;;;
|
|
yuuji@13
|
71 ;;; (setq YaTeX-math-funcs-list
|
|
yuuji@13
|
72 ;;; '(("s" "sin")
|
|
yuuji@13
|
73 ;;; ("S" "arcsin")
|
|
yuuji@13
|
74 ;;; :
|
|
yuuji@13
|
75 ;;; ("hs" "sinh")))
|
|
yuuji@13
|
76 ;;;
|
|
yuuji@23
|
77 ;;; さらに、「,」を押した時にイメージ補完が始まるよう次の変数に、起動キー
|
|
yuuji@13
|
78 ;;; と上で定義した補完用変数の登録を行ないます。
|
|
yuuji@13
|
79 ;;;
|
|
yuuji@13
|
80 ;;; (setq YaTeX-math-key-list-private
|
|
yuuji@23
|
81 ;;; '(("," . YaTeX-math-funcs-list)
|
|
yuuji@13
|
82 ;;; ("'" . ほかに定義したいシリーズがあれば…)))
|
|
yuuji@13
|
83 ;;;
|
|
yuuji@51
|
84 ;;; これらを ~/.emacs に書いておけば、math-mode で自分専用のイメージ
|
|
yuuji@51
|
85 ;;; 補完が利用できます。
|
|
yuuji@13
|
86
|
|
yuuji@13
|
87 (defvar YaTeX-jisold
|
|
yuuji@13
|
88 (and (boundp 'dos-machine-type)
|
|
yuuji@13
|
89 (eq dos-machine-type 'pc98)))
|
|
yuuji@13
|
90
|
|
yuuji@13
|
91 (defmacro YaTeX-setq-math-sym (sym old new)
|
|
yuuji@13
|
92 (list 'setq sym (list 'if 'YaTeX-jisold old new)))
|
|
yuuji@13
|
93
|
|
yuuji@13
|
94 (YaTeX-setq-math-sym YaTeX-image-in "E" "∈")
|
|
yuuji@13
|
95 (YaTeX-setq-math-sym YaTeX-image-ni "ヨ" "∋")
|
|
yuuji@13
|
96 (YaTeX-setq-math-sym YaTeX-image-subset " _\n(\n ~" "⊂")
|
|
yuuji@13
|
97 (YaTeX-setq-math-sym YaTeX-image-subseteq " _\n(_\n ~" "⊆")
|
|
yuuji@13
|
98 (YaTeX-setq-math-sym YaTeX-image-supset "_\n )\n~" "⊃")
|
|
yuuji@13
|
99 (YaTeX-setq-math-sym YaTeX-image-supseteq "_\n_)\n~" "⊇")
|
|
yuuji@13
|
100 (YaTeX-setq-math-sym YaTeX-image-nabla "___\n\\\\/" "∇")
|
|
yuuji@13
|
101 (YaTeX-setq-math-sym YaTeX-image-partial " -+\n+-+\n+-+" "∂")
|
|
yuuji@13
|
102 (YaTeX-setq-math-sym YaTeX-image-dagger "+\n|" "†")
|
|
yuuji@13
|
103 (YaTeX-setq-math-sym YaTeX-image-ddagger "+\n+\n|" "‡")
|
|
yuuji@13
|
104 (YaTeX-setq-math-sym YaTeX-image-equiv "＝\n￣" "≡")
|
|
yuuji@13
|
105 (YaTeX-setq-math-sym YaTeX-image-int " /\\\n \\\n\\/" "∫")
|
|
yuuji@13
|
106 (YaTeX-setq-math-sym YaTeX-image-bot "｜\n￣" "⊥")
|
|
yuuji@13
|
107 (YaTeX-setq-math-sym YaTeX-image-neg "ｲ" "¬")
|
|
yuuji@13
|
108 (YaTeX-setq-math-sym YaTeX-image-flat "ｂ" "♭")
|
|
yuuji@23
|
109 (YaTeX-setq-math-sym YaTeX-image-sqrt "" "√")
|
|
yuuji@80
|
110 (defvar YaTeX-image-nearrow '("__\n /|\n/" " ＿\n ／|\n／" ))
|
|
yuuji@80
|
111 (defvar YaTeX-image-nwarrow '(" __\n|\\\n \\" " ＿\n|＼\n ＼"))
|
|
yuuji@80
|
112 (defvar YaTeX-image-searrow '("\\\n \\|\n--`" "＼\n ＼|\n ￣"))
|
|
yuuji@80
|
113 (defvar YaTeX-image-swarrow '(" /\n|/\n'~~" " ／\n|／\n ￣"))
|
|
yuuji@80
|
114
|
|
yuuji@13
|
115
|
|
yuuji@52
|
116 (defvar
|
|
yuuji@13
|
117 YaTeX-math-sign-alist-default
|
|
yuuji@11
|
118 '(
|
|
yuuji@11
|
119 ;frequently used
|
|
yuuji@11
|
120 ("||" "|" ("||" "‖"))
|
|
yuuji@11
|
121 ("sum" "sum" ("\\-+\n >\n/-+" "Σ"))
|
|
yuuji@11
|
122 ("sigma" "sum" ("\\-+\n >\n/-+" "Σ"))
|
|
yuuji@13
|
123 ("integral" "int" (" /\\\n \\\n\\/" YaTeX-image-int))
|
|
yuuji@11
|
124 ("ointegral" "oint" " /\\\n(\\)\n\\/")
|
|
yuuji@23
|
125 ("sqrt" "sqrt" (" __\n,/" YaTeX-image-sqrt))
|
|
yuuji@23
|
126 ("root" "sqrt" (" __\n,/" YaTeX-image-sqrt))
|
|
yuuji@11
|
127 ("A" "forall" "|_|\nV")
|
|
yuuji@11
|
128 ("E" "exists" "-+\n-+\n-+")
|
|
yuuji@13
|
129 ("!" "neg" ("--+\n |" YaTeX-image-neg))
|
|
yuuji@11
|
130 ("oo" "infty" ("oo" "∞"))
|
|
yuuji@11
|
131 ("\\" "backslash" ("\\" "＼"))
|
|
yuuji@68
|
132 ("..." "cdots" ("..." "…"))
|
|
yuuji@11
|
133
|
|
yuuji@11
|
134 ;;binary operators
|
|
yuuji@11
|
135 ("+-" "pm" ("+\n-" "±"))
|
|
yuuji@11
|
136 ("-+" "mp" "-\n+")
|
|
yuuji@11
|
137 ("x" "times" ("x" "×"))
|
|
yuuji@11
|
138 ("/" "div" (",\n-\n'" "÷"))
|
|
yuuji@23
|
139 ("f" "frac" "xxx\n---\nyyy" "÷")
|
|
yuuji@11
|
140 ("*" "ast" "*")
|
|
yuuji@11
|
141 ("#" "star" ("_/\\_\n\\ /\n//\\\\" "★"))
|
|
yuuji@11
|
142 ("o" "circ" "o")
|
|
yuuji@11
|
143 ("o*" "bullet" " _\n(*)\n ~")
|
|
yuuji@11
|
144 ("." "cdot" ".")
|
|
yuuji@11
|
145 ("cap" "cap" "/-\\\n| |")
|
|
yuuji@11
|
146 ("cup" "cup" "| |\n\\-/")
|
|
yuuji@11
|
147 ("u+" "uplus" "|+|\n\\-/")
|
|
yuuji@11
|
148 ("|~|" "sqcap" "|~|")
|
|
yuuji@11
|
149 ("|_|" "sqcup" "|_|")
|
|
yuuji@11
|
150 ("v" "vee" "v")
|
|
yuuji@11
|
151 ("^" "wedge" "^")
|
|
yuuji@11
|
152 ("\\\\" "setminus" "\\")
|
|
yuuji@11
|
153 (")(" "wr" " )\n(")
|
|
yuuji@11
|
154 ("<>" "diamond" "<>")
|
|
yuuji@128
|
155 ("/\\-" "bigtriangleup" ("/\\\n~~" "△"))
|
|
yuuji@11
|
156 ("-\\/" "bigtriangledown" ("__\n\\/" "▽"))
|
|
yuuji@11
|
157 ("<|" "triangleleft" "<|")
|
|
yuuji@11
|
158 ("|>" "triangleright" "|>")
|
|
yuuji@11
|
159 ("<||" "lhd" "/|\n\\|")
|
|
yuuji@11
|
160 ("||>" "rhd" "|\\\n|/")
|
|
yuuji@11
|
161 ("<|-" "unlhd" "<|\n~~")
|
|
yuuji@11
|
162 ("|>-" "unrhd" "|>\n~~")
|
|
yuuji@11
|
163 ("o+" "oplus" " _\n(+)\n ~")
|
|
yuuji@11
|
164 ("o-" "ominus" " _\n(-)\n ~")
|
|
yuuji@11
|
165 ("ox" "otimes" " _\n(x)\n ~")
|
|
yuuji@11
|
166 ("o/" "oslash" " _\n(/)\n ~")
|
|
yuuji@11
|
167 ("o." "odot" "(.)")
|
|
yuuji@11
|
168 ("O" "bigcirc" "O")
|
|
yuuji@13
|
169 ("t" "dagger" ("+\n|" YaTeX-image-dagger))
|
|
yuuji@13
|
170 ("tt" "ddagger" ("+\n+\n|" YaTeX-image-ddagger))
|
|
yuuji@11
|
171 ("II" "amalg" "II")
|
|
yuuji@11
|
172 ; :
|
|
yuuji@11
|
173 ;;relational operators
|
|
yuuji@11
|
174 ("<" "leq" ("<\n-" "≦"))
|
|
yuuji@11
|
175 (">" "geq" (">\n-" "≧"))
|
|
yuuji@13
|
176 ("-=" "equiv" ("=\n-" YaTeX-image-equiv))
|
|
yuuji@13
|
177 ("=-" "equiv" ("=\n-" YaTeX-image-equiv))
|
|
yuuji@13
|
178 ("---" "equiv" ("=\n-" YaTeX-image-equiv))
|
|
yuuji@13
|
179 ("(" "subset" (" _\n(\n ~" YaTeX-image-subset))
|
|
yuuji@13
|
180 ("(-" "subseteq" (" _\n(_\n ~" YaTeX-image-subseteq))
|
|
yuuji@13
|
181 (")" "supset" ("_\n )\n~" YaTeX-image-supset))
|
|
yuuji@13
|
182 (")-" "supseteq" ("_\n_)\n~" YaTeX-image-supseteq))
|
|
yuuji@11
|
183 ("[" "sqsubset" "[")
|
|
yuuji@11
|
184 ("[-" "sqsubseteq" "[\n~")
|
|
yuuji@11
|
185 ("]" "sqsupset" "]")
|
|
yuuji@11
|
186 ("]-" "sqsupseteq" "]\n~")
|
|
yuuji@13
|
187 ("{" "in" ("(-" YaTeX-image-in))
|
|
yuuji@13
|
188 ("}" "ni" ("-)" YaTeX-image-ni))
|
|
yuuji@11
|
189 ("|-" "vdash" "|-")
|
|
yuuji@11
|
190 ("-|" "dashv" "-|")
|
|
yuuji@11
|
191 ("~" "sim" "~(tild)")
|
|
yuuji@11
|
192 ("~-" "simeq" "~\n-")
|
|
yuuji@11
|
193 ("asymp" "asymp" "v\n^")
|
|
yuuji@11
|
194 ("~~" "approx" "~\n~")
|
|
yuuji@11
|
195 ("~=" "cong" "~\n=")
|
|
yuuji@11
|
196 ("=/" "neq" ("=/=" "≠"))
|
|
yuuji@11
|
197 (".=" "doteq" ".\n=")
|
|
yuuji@11
|
198 ("o<" "propto" "o<")
|
|
yuuji@11
|
199 ("|=" "models" "|=")
|
|
yuuji@11
|
200 ("_|_" "perp" "_|_")
|
|
yuuji@11
|
201 ("|" "mid" "|")
|
|
yuuji@11
|
202 ("||" "parallel" "||")
|
|
yuuji@11
|
203 ("bowtie" "bowtie" "|><|(wide)")
|
|
yuuji@11
|
204 ("|><|" "join" "|><|")
|
|
yuuji@11
|
205 ("\\_/" "smile" "\\_/")
|
|
yuuji@11
|
206 ("/~\\" "frown" "/~~\\")
|
|
yuuji@11
|
207 ("-<" "prec" ("-<" "く"))
|
|
yuuji@11
|
208 ("-<=" "preceq" ("-<\n-" "く\n="))
|
|
yuuji@11
|
209 ("<<" "ll" ("<<" "《"))
|
|
yuuji@80
|
210 (">>" "gg" (">>" "》"))
|
|
yuuji@11
|
211 ; :
|
|
yuuji@11
|
212 ;;arrows
|
|
yuuji@11
|
213 ("<-" "leftarrow" ("<-" "←"))
|
|
yuuji@13
|
214 ("\C-b" "leftarrow" ("<-" "←"))
|
|
yuuji@13
|
215 ("<--" "longleftarrow" ("<--" "←--"))
|
|
yuuji@11
|
216 ("<=" "Leftarrow" "<=")
|
|
yuuji@11
|
217 ("<==" "Longleftarrow" "<==")
|
|
yuuji@11
|
218 ("->" "rightarrow" ("->" "→"))
|
|
yuuji@13
|
219 ("\C-f" "rightarrow" ("->" "→"))
|
|
yuuji@11
|
220 ("-->" "longrightarrow" ("-->" "--→"))
|
|
yuuji@64
|
221 ("=>" "Rightarrow" "=>")
|
|
yuuji@11
|
222 ("==>" "Longrightarrow" "==>")
|
|
yuuji@11
|
223 ("<->" "leftrightarrow" ("<->" "←→"))
|
|
yuuji@11
|
224 ("<-->" "longleftrightarrow" ("<---->" "←--→"))
|
|
yuuji@47
|
225 ("<=>" "Leftrightarrow" "<=>")
|
|
yuuji@11
|
226 ("<==>" "Longleftrightarrow" "<==>")
|
|
yuuji@11
|
227 ("^|" "uparrow" ("^\n|" "↑"))
|
|
yuuji@13
|
228 ("\C-p" "uparrow" ("^\n|" "↑"))
|
|
yuuji@11
|
229 ("^||" "Uparrow" "/\\\n||")
|
|
yuuji@11
|
230 ("\C-n" "downarrow" ("|\nv" "↓"))
|
|
yuuji@13
|
231 ("v|" "downarrow" ("|\nv" "↓"))
|
|
yuuji@13
|
232 ("v||" "Downarrow" "||\n\\/")
|
|
yuuji@80
|
233 ("\C-p\C-f" "nearrow" YaTeX-image-nearrow)
|
|
yuuji@80
|
234 ("\C-f\C-p" "nearrow" YaTeX-image-nearrow)
|
|
yuuji@80
|
235 ("ne" "nearrow" YaTeX-image-nearrow)
|
|
yuuji@80
|
236 ("\C-p\C-b" "nwarrow" YaTeX-image-nwarrow)
|
|
yuuji@80
|
237 ("\C-b\C-p" "nwarrow" YaTeX-image-nwarrow)
|
|
yuuji@80
|
238 ("nw" "nwarrow" YaTeX-image-nwarrow)
|
|
yuuji@80
|
239 ("\C-n\C-f" "searrow" YaTeX-image-searrow)
|
|
yuuji@80
|
240 ("\C-f\C-n" "searrow" YaTeX-image-searrow)
|
|
yuuji@80
|
241 ("se" "searrow" YaTeX-image-searrow)
|
|
yuuji@80
|
242 ("\C-n\C-b" "swarrow" YaTeX-image-swarrow)
|
|
yuuji@80
|
243 ("\C-b\C-n" "swarrow" YaTeX-image-swarrow)
|
|
yuuji@80
|
244 ("sw" "swarrow" YaTeX-image-swarrow)
|
|
yuuji@11
|
245 ("|->" "mapsto" ("|->" "|→"))
|
|
yuuji@11
|
246 ("<-)" "hookleftarrow" (" ,\n<--+" " ヽ\n<--/"))
|
|
yuuji@69
|
247 ("(->" "hookrightarrow" ("`\n+-->" "／\n＼-->"))
|
|
yuuji@11
|
248 ("/-" "leftharpoonup" "/\n~~~")
|
|
yuuji@11
|
249 ("\\-" "leftharpoondown" "__\n\\")
|
|
yuuji@11
|
250 ("-/" "rightharpoondown" "__\n/")
|
|
yuuji@11
|
251 ("-\\" "rightharpoonup" "~~\n\\")
|
|
yuuji@53
|
252 ;;left and right
|
|
yuuji@53
|
253 ("left" "left" "(leftmark)")
|
|
yuuji@53
|
254 ("right" "right" "(rightmark)")
|
|
yuuji@68
|
255 ;;accent marks
|
|
yuuji@68
|
256 ("tilde" "tilde" "~\n?")
|
|
yuuji@68
|
257 ("T" "tilde" "~\n?")
|
|
yuuji@68
|
258 ("wtilde" "widetilde" "~\n?")
|
|
yuuji@68
|
259 ("hat" "hat" "^\n?")
|
|
yuuji@68
|
260 ("what" "widehat" "/\\\n??")
|
|
yuuji@68
|
261 ("w^" "widehat" "/\\\n?")
|
|
yuuji@68
|
262 ("check" "check" "v\n?")
|
|
yuuji@68
|
263 ("bar" "bar" "_\n?")
|
|
yuuji@68
|
264 ("overline" "overline" "_\n?")
|
|
yuuji@68
|
265 ("wbar" "overline" "--\n??")
|
|
yuuji@68
|
266 ("dot" "dot" ".\n?")
|
|
yuuji@68
|
267 ("ddot" "ddot" "..\n??")
|
|
yuuji@68
|
268 ("vec" "vec" ("->\n??" "→\n??"))
|
|
yuuji@68
|
269 ("~>" "overrightarrow" ("-->\nAB" "→\nAB"))
|
|
yuuji@68
|
270 ("VEC" "overrightarrow" ("-->\nAB" "→\nAB"))
|
|
yuuji@68
|
271 ;;rage-aware stuffs
|
|
yuuji@68
|
272 ("prod" "prod" ("-+--+-\n | |" "Π"))
|
|
yuuji@68
|
273 ("CUP" "bigcup" "|~~|\n| |\n| |")
|
|
yuuji@68
|
274 ("union" "bigcup" "|~~|\n| |\n| |")
|
|
yuuji@68
|
275 ("CAP" "bigcap" "| |\n| |\n|__|")
|
|
yuuji@68
|
276 ("isc" "bigcap" "| |\n| |\n|__|")
|
|
yuuji@68
|
277 ("O+" "bigoplus" "/~~~\\\n| + |\n\\___/")
|
|
yuuji@68
|
278 ("Ox" "bigotimes" "/~~~\\\n| X |\n\\___/")
|
|
yuuji@68
|
279 ;;other marks
|
|
yuuji@80
|
280 ("angle" "angle" ("/\n~" "∠"))
|
|
yuuji@80
|
281 ("/_" "angle" ("/\n~" "∠"))
|
|
yuuji@11
|
282 ("Z" "aleph" "|\\|")
|
|
yuuji@11
|
283 ("|\\|" "aleph" "|\\|")
|
|
yuuji@11
|
284 ("h-" "hbar" "_\nh")
|
|
yuuji@68
|
285 ; ("i" "imath" "i") ;These chars are appeared only
|
|
yuuji@68
|
286 ; ("j" "jmath" "j") ;as section-type arguments
|
|
yuuji@11
|
287 ("l" "ell" "l")
|
|
yuuji@11
|
288 ("wp" "wp" "???")
|
|
yuuji@11
|
289 ("R" "Re" ")R")
|
|
yuuji@11
|
290 ("Im" "Im" "???")
|
|
yuuji@11
|
291 ("mho" "mho" "~|_|~")
|
|
yuuji@11
|
292 ("'" "prime" "'")
|
|
yuuji@11
|
293 ("0" "emptyset" "0")
|
|
yuuji@13
|
294 ("nabla" "nabla" ("___\n\\\\/" YaTeX-image-nabla))
|
|
yuuji@11
|
295 ("\\/" "surd" "-\\/")
|
|
yuuji@11
|
296 ("surd" "surd" "-\\/")
|
|
yuuji@11
|
297 ("top" "top" "T")
|
|
yuuji@13
|
298 ("bot" "bot" ("_|_" YaTeX-image-bot))
|
|
yuuji@13
|
299 ("b" "flat" ("b" YaTeX-image-flat))
|
|
yuuji@11
|
300 ("LT" "natural" "|\nLT\n |")
|
|
yuuji@13
|
301 ("6" "partial" (" -+\n+-+\n+-+" YaTeX-image-partial))
|
|
yuuji@13
|
302 ("partial" "partial" (" -+\n+-+\n+-+" YaTeX-image-partial))
|
|
yuuji@13
|
303 ("round" "partial" (" -+\n+-+\n+-+" YaTeX-image-partial))
|
|
yuuji@59
|
304 ("[]" "Box" "[]")
|
|
yuuji@80
|
305 ("no" "notag" "\\notag")
|
|
yuuji@80
|
306 (":" "colon" ":")
|
|
yuuji@11
|
307 ("Diamond" "Diamond" "/\\\n\\/")
|
|
yuuji@11
|
308 ("3" "triangle" "/\\\n~~")
|
|
yuuji@11
|
309 ("C" "clubsuit" " o\no+o\n |")
|
|
yuuji@11
|
310 ("D" "diamondsuit" "/\\\n\\/")
|
|
yuuji@11
|
311 ("H" "heartsuit" "<^^>\n \\/")
|
|
yuuji@11
|
312 ("S" "spadesuit" " /\\\n<++>\n /\\")
|
|
yuuji@52
|
313 )
|
|
yuuji@52
|
314 "Default LaTeX-math-command alist.")
|
|
yuuji@11
|
315
|
|
yuuji@13
|
316 (defvar YaTeX-math-sign-alist-private nil
|
|
yuuji@11
|
317 "*User definable key vs LaTeX-math-command alist.")
|
|
yuuji@11
|
318
|
|
yuuji@11
|
319 (defvar YaTeX-math-quit-with-strict-match nil
|
|
yuuji@11
|
320 "*T for quitting completion as soon as strict-match is found.")
|
|
yuuji@52
|
321 (defvar YaTeX-math-sign-alist
|
|
yuuji@13
|
322 (append YaTeX-math-sign-alist-private YaTeX-math-sign-alist-default))
|
|
yuuji@11
|
323
|
|
yuuji@13
|
324 ;;(defun YaTeX-math-alist2array (alist array)
|
|
yuuji@13
|
325 ;; (set array
|
|
yuuji@13
|
326 ;; (let ((array (make-vector (length alist) "")) (list alist) (i 0))
|
|
yuuji@13
|
327 ;; (while list
|
|
yuuji@13
|
328 ;; (aset array i (car (car list)))
|
|
yuuji@13
|
329 ;; (setq i (1+ i) list (cdr list)))
|
|
yuuji@13
|
330 ;; array))
|
|
yuuji@13
|
331 ;;)
|
|
yuuji@11
|
332
|
|
yuuji@52
|
333 (defvar YaTeX-greek-key-alist-default
|
|
yuuji@13
|
334 '(
|
|
yuuji@13
|
335 ("a" "alpha" ("a" "α"))
|
|
yuuji@13
|
336 ("b" "beta" ("|>\n|>\n|" "β"))
|
|
yuuji@13
|
337 ("g" "gamma" ("~r" "γ"))
|
|
yuuji@13
|
338 ("G" "Gamma" ("|~" "Γ"))
|
|
yuuji@13
|
339 ("d" "delta" ("<~\n<>" "δ"))
|
|
yuuji@13
|
340 ("D" "Delta" ("/\\\n~~" "Δ"))
|
|
yuuji@13
|
341 ("e" "epsilon" "<\n<~")
|
|
yuuji@13
|
342 ("e-" "varepsilon" ("(\n(~" "ε"))
|
|
yuuji@13
|
343 ("z" "zeta" ("(~\n >" "ζ"))
|
|
yuuji@13
|
344 ("et" "eta" ("n\n/" "η"))
|
|
yuuji@13
|
345 ("th" "theta" ("8" "θ"))
|
|
yuuji@13
|
346 ("Th" "Theta" ("(8)" "Θ"))
|
|
yuuji@13
|
347 ("th-" "vartheta" ("-8" "-θ"))
|
|
yuuji@13
|
348 ("i" "iota" ("i\n\\_/" "ι"))
|
|
yuuji@13
|
349 ("k" "kappa" ("k" "κ"))
|
|
yuuji@13
|
350 ("l" "lambda" ("\\n/\\" "λ"))
|
|
yuuji@13
|
351 ("L" "Lambda" ("/\\" "Λ"))
|
|
yuuji@13
|
352 ("m" "mu" (" u_\n/" "μ"))
|
|
yuuji@13
|
353 ("n" "nu" ("|/" "ν"))
|
|
yuuji@13
|
354 ("x" "xi" ("E\n >" "ξ"))
|
|
yuuji@13
|
355 ("X" "Xi" ("---\n -\n---" "Ξ"))
|
|
yuuji@13
|
356 ("p" "pi" ("__\n)(" "π"))
|
|
yuuji@13
|
357 ("P" "Pi" ("__\n||" "Π"))
|
|
yuuji@13
|
358 ("p-" "varpi" ("_\nw" "__\nω"))
|
|
yuuji@13
|
359 ("r" "rho" ("/O" "ρ"))
|
|
yuuji@13
|
360 ("r-" "varrho" ("/O\n~~" "ρ\n~~"))
|
|
yuuji@13
|
361 ("s" "sigma" ("o~" "σ"))
|
|
yuuji@13
|
362 ("S" "Sigma" ("\\-+\n >\n/-+" "Σ"))
|
|
yuuji@13
|
363 ("s-" "varsigma" "(~~ \n>")
|
|
yuuji@13
|
364 ("t" "tau" ("__\n(" "τ"))
|
|
yuuji@13
|
365 ("u" "upsilon" ("~v" "υ"))
|
|
yuuji@13
|
366 ("y" "upsilon" ("~v" "υ"))
|
|
yuuji@13
|
367 ("U" "Upsilon" ("~Y~" "Υ"))
|
|
yuuji@13
|
368 ("Y" "Upsilon" ("~Y~" "Υ"))
|
|
yuuji@13
|
369 ("ph" "phi" (" /\n(/)\n/" "φ"))
|
|
yuuji@13
|
370 ("Ph" "Phi" (" _\n(|)\n ~" "Φ"))
|
|
yuuji@13
|
371 ("ph-" "varphi" "\\O\n|")
|
|
yuuji@13
|
372 ("c" "chi" ("x" "χ"))
|
|
yuuji@13
|
373 ("ps" "psi" ("\\|/\\n |" "ψ"))
|
|
yuuji@13
|
374 ("Ps" "Psi" (" ~\n\\|/\\n |" "Ψ"))
|
|
yuuji@13
|
375 ("o" "omega" ("w" "ω"))
|
|
yuuji@13
|
376 ("w" "omega" ("w" "ω"))
|
|
yuuji@13
|
377 ("O" "Omega" ("(~)\n~ ~" "Ω"))
|
|
yuuji@13
|
378 ("W" "Omega" ("(~)\n~ ~" "Ω"))
|
|
yuuji@13
|
379 ("f" "foo")
|
|
yuuji@13
|
380 )
|
|
yuuji@52
|
381 "Default LaTeX-math-command alist.")
|
|
yuuji@13
|
382
|
|
yuuji@13
|
383 (defvar YaTeX-greek-key-alist-private nil
|
|
yuuji@13
|
384 "*User definable key vs LaTeX-math-command alist.")
|
|
yuuji@13
|
385
|
|
yuuji@52
|
386 (defvar YaTeX-greek-key-alist
|
|
yuuji@13
|
387 (append YaTeX-greek-key-alist-private YaTeX-greek-key-alist-default))
|
|
yuuji@13
|
388
|
|
yuuji@13
|
389 ;;(mapcar (function (lambda (x) (YaTeX-math-alist2array x)))
|
|
yuuji@13
|
390 ;; YaTeX-math-key-list)
|
|
yuuji@13
|
391
|
|
yuuji@52
|
392 (defvar YaTeX-math-indicator "KEY\tLaTeX sequence\t\tsign")
|
|
yuuji@11
|
393
|
|
yuuji@11
|
394 (defvar YaTeX-math-need-image t
|
|
yuuji@11
|
395 "*T for displaying pseudo image momentarily.")
|
|
yuuji@11
|
396 (defvar YaTeX-math-max-key 8)
|
|
yuuji@11
|
397 (defvar YaTeX-math-max-seq
|
|
yuuji@11
|
398 (* 8 (1+ (/ (length "\\longleftrightarrow") 8))))
|
|
yuuji@11
|
399 (defvar YaTeX-math-max-sign 5)
|
|
yuuji@11
|
400 (defvar YaTeX-math-sign-width
|
|
yuuji@11
|
401 (+ YaTeX-math-max-key YaTeX-math-max-seq YaTeX-math-max-sign))
|
|
yuuji@11
|
402 (defvar YaTeX-math-display-width
|
|
yuuji@11
|
403 (* 8 (1+ (/ YaTeX-math-sign-width 8))))
|
|
yuuji@11
|
404 (defvar YaTeX-math-menu-map nil
|
|
yuuji@80
|
405 "Keymap used in YaTeX mathematical sign menu mode.")
|
|
yuuji@80
|
406
|
|
yuuji@11
|
407 (if YaTeX-math-menu-map nil
|
|
yuuji@11
|
408 (setq YaTeX-math-menu-map (make-sparse-keymap))
|
|
yuuji@11
|
409 (define-key YaTeX-math-menu-map "n" 'next-line)
|
|
yuuji@11
|
410 (define-key YaTeX-math-menu-map "p" 'previous-line)
|
|
yuuji@11
|
411 (define-key YaTeX-math-menu-map "f" 'YaTeX-math-forward)
|
|
yuuji@11
|
412 (define-key YaTeX-math-menu-map "b" 'YaTeX-math-backward)
|
|
yuuji@11
|
413 (define-key YaTeX-math-menu-map "v" 'scroll-up)
|
|
yuuji@11
|
414 (define-key YaTeX-math-menu-map " " 'scroll-up)
|
|
yuuji@11
|
415 (define-key YaTeX-math-menu-map "c" 'scroll-up)
|
|
yuuji@11
|
416 (define-key YaTeX-math-menu-map "V" 'scroll-down)
|
|
yuuji@11
|
417 (define-key YaTeX-math-menu-map "r" 'scroll-down)
|
|
yuuji@11
|
418 (define-key YaTeX-math-menu-map "\^h" 'scroll-down)
|
|
yuuji@11
|
419 (define-key YaTeX-math-menu-map "<" 'beginning-of-buffer)
|
|
yuuji@11
|
420 (define-key YaTeX-math-menu-map ">" 'end-of-buffer)
|
|
yuuji@11
|
421 (define-key YaTeX-math-menu-map "\^m" 'exit-recursive-edit)
|
|
yuuji@11
|
422 (define-key YaTeX-math-menu-map "q" 'abort-recursive-edit))
|
|
yuuji@11
|
423
|
|
yuuji@13
|
424 (defvar YaTeX-math-exit-key "\e"
|
|
yuuji@80
|
425 "*Key sequence after prefix key of YaTeX-math-mode to exit from math-mode.")
|
|
yuuji@13
|
426
|
|
yuuji@11
|
427 (defmacro YaTeX-math-japanese-sign (list)
|
|
yuuji@11
|
428 (list 'nth 1 list))
|
|
yuuji@11
|
429
|
|
yuuji@72
|
430 (defvar YaTeX-math-cmd-regexp (concat (regexp-quote YaTeX-ec) "[A-z|]"))
|
|
yuuji@51
|
431 (defvar YaTeX-math-verbatim-environments
|
|
yuuji@51
|
432 '("alltt")
|
|
yuuji@51
|
433 "*List of environments in which LaTeX math mode is disabled.
|
|
yuuji@51
|
434 This value is appended with YaTeX-verbatim-environments.")
|
|
yuuji@11
|
435
|
|
yuuji@13
|
436 ;;;
|
|
yuuji@13
|
437 ;;YaTeX math-mode functions
|
|
yuuji@13
|
438 ;;;
|
|
yuuji@23
|
439 ;;;###autoload from yatex.el
|
|
yuuji@13
|
440 (defun YaTeX-toggle-math-mode (&optional arg)
|
|
yuuji@13
|
441 (interactive "P")
|
|
yuuji@13
|
442 (or (memq 'YaTeX-math-mode mode-line-format) nil
|
|
yuuji@13
|
443 (setq mode-line-format
|
|
yuuji@13
|
444 (append (list "" 'YaTeX-math-mode) mode-line-format)))
|
|
yuuji@23
|
445 (if YaTeX-auto-math-mode nil ;Only effective on manual mode.
|
|
yuuji@23
|
446 (if (or arg (null YaTeX-math-mode))
|
|
yuuji@23
|
447 (let (keys)
|
|
yuuji@23
|
448 (setq YaTeX-math-mode "math:")
|
|
yuuji@23
|
449 (message "Turn on math mode. Prefix keys are %s"
|
|
yuuji@23
|
450 (mapconcat 'car YaTeX-math-key-list " "))
|
|
yuuji@23
|
451 (sit-for 3)
|
|
yuuji@23
|
452 (message
|
|
yuuji@23
|
453 (concat "To exit from math-mode, type `ESC' after prefix, "
|
|
yuuji@23
|
454 "or type `"
|
|
yuuji@23
|
455 (key-description
|
|
yuuji@23
|
456 (car
|
|
yuuji@23
|
457 (where-is-internal
|
|
yuuji@23
|
458 'YaTeX-switch-mode-menu YaTeX-mode-map)))
|
|
yuuji@23
|
459 " $'")))
|
|
yuuji@23
|
460 (setq YaTeX-math-mode nil)
|
|
yuuji@23
|
461 (message "Exit from math mode."))
|
|
yuuji@80
|
462 (set-buffer-modified-p (buffer-modified-p))))
|
|
yuuji@13
|
463
|
|
yuuji@11
|
464 (defun YaTeX-math-forward (arg)
|
|
yuuji@11
|
465 (interactive "p")
|
|
yuuji@11
|
466 (re-search-forward YaTeX-math-cmd-regexp nil t arg))
|
|
yuuji@11
|
467
|
|
yuuji@11
|
468 (defun YaTeX-math-backward (arg)
|
|
yuuji@11
|
469 (interactive "p")
|
|
yuuji@11
|
470 (re-search-backward YaTeX-math-cmd-regexp nil t arg))
|
|
yuuji@11
|
471
|
|
yuuji@13
|
472 (defun YaTeX-math-gets (sign)
|
|
yuuji@13
|
473 (cond
|
|
yuuji@13
|
474 ((null sign) nil)
|
|
yuuji@13
|
475 ((listp sign)
|
|
yuuji@13
|
476 (setq sign
|
|
yuuji@13
|
477 (cond
|
|
yuuji@13
|
478 (YaTeX-japan (YaTeX-math-japanese-sign sign))
|
|
yuuji@13
|
479 (t (car sign))))
|
|
yuuji@13
|
480 (YaTeX-math-gets sign))
|
|
yuuji@13
|
481 ((symbolp sign)
|
|
yuuji@13
|
482 (YaTeX-math-gets (symbol-value sign)))
|
|
yuuji@80
|
483 (t sign)))
|
|
yuuji@13
|
484
|
|
yuuji@11
|
485 (defun YaTeX-math-get-sign (list)
|
|
yuuji@80
|
486 (YaTeX-math-gets (car (cdr-safe (cdr-safe list)))))
|
|
yuuji@80
|
487
|
|
yuuji@77
|
488 (defvar YaTeX-math-section-type-regexp
|
|
yuuji@77
|
489 "eqn\\\\\\sw+\\b"
|
|
yuuji@77
|
490 "*Regexp of section-type math-mode macro")
|
|
yuuji@77
|
491
|
|
yuuji@23
|
492 (defun YaTeX-in-math-mode-p ()
|
|
yuuji@80
|
493 "If current position is supposed to be in LaTeX-math-mode, return t.
|
|
yuuji@80
|
494 This function refers a local variable `source-window' in YaTeX-make-section."
|
|
yuuji@80
|
495 (save-excursion
|
|
yuuji@80
|
496 (and (boundp 'source-window) source-window
|
|
yuuji@80
|
497 (set-buffer (window-buffer source-window)))
|
|
yuuji@80
|
498 (or (YaTeX-quick-in-environment-p
|
|
yuuji@80
|
499 (append
|
|
yuuji@80
|
500 '("math" "eqnarray" "equation" "eqnarray*" "displaymath") ;LaTeX
|
|
yuuji@80
|
501 (if YaTeX-use-AMS-LaTeX
|
|
yuuji@80
|
502 ;; And math modes of AMS-LaTeX
|
|
yuuji@80
|
503 ;;'("align" "align*" "split" "multline" "multline*" "gather"
|
|
yuuji@80
|
504 ;; "gather*" "aligned*" "gathered" "gathered*" "alignat"
|
|
yuuji@80
|
505 ;; "equation*" "cases" "flalign" "flalign*"
|
|
yuuji@80
|
506 ;; "alignat*" "xalignat" "xalignat*" "xxalignat" "xxalignat*"
|
|
yuuji@80
|
507 YaTeX-math-begin-list
|
|
yuuji@80
|
508 )))
|
|
yuuji@130
|
509 (let*((p (point)) (nest 0) me0 r firstp dollar
|
|
yuuji@80
|
510 (delim (concat YaTeX-sectioning-regexp "\\|^$\\|^\C-l"))
|
|
yuuji@80
|
511 (boundary
|
|
yuuji@80
|
512 (save-excursion
|
|
yuuji@80
|
513 (if (looking-at delim)
|
|
yuuji@80
|
514 (goto-char (max (point-min) (1- (point)))))
|
|
yuuji@80
|
515 (re-search-backward delim nil 1)
|
|
yuuji@80
|
516 (point))))
|
|
yuuji@80
|
517 (save-excursion
|
|
yuuji@80
|
518 (cond
|
|
yuuji@80
|
519 ((catch 'open
|
|
yuuji@80
|
520 (save-excursion
|
|
yuuji@80
|
521 (while (and (>= nest 0)
|
|
yuuji@80
|
522 (re-search-backward
|
|
yuuji@80
|
523 (concat YaTeX-ec-regexp ;\
|
|
yuuji@80
|
524 "\\([()]\\|[][]\\)") boundary t))
|
|
yuuji@80
|
525 (setq me0 (match-end 0))
|
|
yuuji@80
|
526 (if (or (YaTeX-on-comment-p)
|
|
yuuji@80
|
527 (YaTeX-literal-p)) nil
|
|
yuuji@80
|
528 (if (or (= (char-after (1- me0)) ?\))
|
|
yuuji@80
|
529 (= (char-after (1- me0)) ?\]))
|
|
yuuji@80
|
530 (setq nest (1+ nest))
|
|
yuuji@80
|
531 (if (= (preceding-char) ?\\ ) nil ;;\\[5pt]
|
|
yuuji@80
|
532 (setq nest (1- nest))))))
|
|
yuuji@130
|
533 (if (< nest 0)
|
|
yuuji@130
|
534 (throw 'open (cons (YaTeX-match-string 0) (point)))))))
|
|
yuuji@80
|
535 ((and (setq r (YaTeX-on-section-command-p
|
|
yuuji@80
|
536 YaTeX-math-section-type-regexp))
|
|
yuuji@80
|
537 (numberp r)
|
|
yuuji@80
|
538 (> r 0))
|
|
yuuji@80
|
539 t)
|
|
yuuji@80
|
540 (t (catch 'dollar
|
|
yuuji@80
|
541 (while ;(search-backward "$" boundary t);little bit fast.
|
|
yuuji@80
|
542 (YaTeX-re-search-active-backward ;;;;;; Too slow???
|
|
yuuji@80
|
543 "\\$" (concat "[^\\\\]" YaTeX-comment-prefix) boundary t)
|
|
yuuji@130
|
544 (setq dollar "$")
|
|
yuuji@80
|
545 (cond
|
|
yuuji@80
|
546 ((equal (char-after (1- (point))) ?$) ; $$ equation $$
|
|
yuuji@130
|
547 (setq dollar "$$")
|
|
yuuji@80
|
548 (backward-char 1)
|
|
yuuji@80
|
549 (setq nest (1+ nest)))
|
|
yuuji@80
|
550 ((let ((YaTeX-verbatim-environments
|
|
yuuji@80
|
551 (append YaTeX-math-verbatim-environments
|
|
yuuji@80
|
552 YaTeX-verbatim-environments)))
|
|
yuuji@80
|
553 (YaTeX-literal-p))
|
|
yuuji@80
|
554 nil)
|
|
yuuji@80
|
555 ((and (equal (char-after (1- (point))) ?\\ )
|
|
yuuji@80
|
556 (not (equal (char-after (- (point) 3)) ?\\ )))
|
|
yuuji@80
|
557 nil) ;\$
|
|
yuuji@130
|
558 (t (setq nest (1+ nest))))
|
|
yuuji@130
|
559 (if (and (= nest 1) (null firstp))
|
|
yuuji@130
|
560 (setq firstp (cons dollar (point)))))
|
|
yuuji@130
|
561 (if (= (% nest 2) 1)
|
|
yuuji@130
|
562 (throw 'dollar firstp))))))))))
|
|
yuuji@130
|
563
|
|
yuuji@130
|
564 (defun YaTeX-mark-mathenv ()
|
|
yuuji@130
|
565 "Mark current mathematic environment."
|
|
yuuji@130
|
566 (interactive)
|
|
yuuji@130
|
567 (let ((mmp (YaTeX-in-math-mode-p)) type bpt)
|
|
yuuji@130
|
568 (if (or (null mmp) (not (stringp (setq type (car mmp)))))
|
|
yuuji@130
|
569 nil ;if nil or not string, do nothing
|
|
yuuji@130
|
570 (setq bpt (cdr mmp))
|
|
yuuji@130
|
571 (goto-char bpt)
|
|
yuuji@130
|
572 (cond
|
|
yuuji@130
|
573 ((string-match "\\$" type)
|
|
yuuji@130
|
574 (set-mark-command nil)
|
|
yuuji@130
|
575 (skip-chars-forward "$")
|
|
yuuji@130
|
576 (YaTeX-search-active-forward
|
|
yuuji@130
|
577 type YaTeX-comment-prefix nil) ;if it cause error, obey it
|
|
yuuji@130
|
578 (goto-char (match-end 0)))
|
|
yuuji@130
|
579 ;;
|
|
yuuji@130
|
580 ((string-match "^\\\\[\\[(]" type)
|
|
yuuji@130
|
581 (set-mark-command nil)
|
|
yuuji@130
|
582 (YaTeX-goto-corresponding-leftright)
|
|
yuuji@130
|
583 (skip-chars-forward "])\\\\"))
|
|
yuuji@130
|
584 ;;
|
|
yuuji@130
|
585 ((string-match "^[a-z]" type) ; \begin\end type math
|
|
yuuji@130
|
586 (set-mark-command nil)
|
|
yuuji@130
|
587 (YaTeX-goto-corresponding-environment)
|
|
yuuji@130
|
588 (goto-char (match-end 0)))))))
|
|
yuuji@23
|
589
|
|
yuuji@11
|
590 (defun YaTeX-math-display-list (list cols)
|
|
yuuji@11
|
591 (goto-char (point-max))
|
|
yuuji@11
|
592 (if (= cols 0) (if (not (eolp)) (newline 1))
|
|
yuuji@11
|
593 (forward-line -1)
|
|
yuuji@11
|
594 (while (looking-at "[ \t\n]") (forward-line -1)))
|
|
yuuji@11
|
595 (end-of-line)
|
|
yuuji@11
|
596 (let ((indent (* YaTeX-math-display-width cols)) sign str to)
|
|
yuuji@11
|
597 (indent-to indent)
|
|
yuuji@11
|
598 (insert (car list))
|
|
yuuji@11
|
599 (indent-to (setq indent (+ indent YaTeX-math-max-key)))
|
|
yuuji@11
|
600 (insert "\\" (car (cdr list)))
|
|
yuuji@11
|
601 (setq indent (+ indent YaTeX-math-max-seq))
|
|
yuuji@11
|
602 (setq sign (YaTeX-math-get-sign list))
|
|
yuuji@13
|
603 (while (and sign (not (string= "" sign)))
|
|
yuuji@11
|
604 (setq to (string-match "\n" sign)
|
|
yuuji@11
|
605 str (if to (substring sign 0 to) sign))
|
|
yuuji@11
|
606 (end-of-line)
|
|
yuuji@11
|
607 (indent-to indent)
|
|
yuuji@11
|
608 (insert str)
|
|
yuuji@11
|
609 (cond ((eobp) (newline 1))
|
|
yuuji@11
|
610 ((> cols 0) (forward-line 1)))
|
|
yuuji@11
|
611 (setq sign (if to (substring sign (1+ to)) "")))))
|
|
yuuji@11
|
612
|
|
yuuji@11
|
613 (defvar YaTeX-math-menu-buffer "*math-mode-signs*")
|
|
yuuji@11
|
614
|
|
yuuji@11
|
615 (defun YaTeX-math-show-menu (match-str)
|
|
yuuji@11
|
616 (save-window-excursion
|
|
yuuji@59
|
617 (YaTeX-showup-buffer YaTeX-math-menu-buffer nil t)
|
|
yuuji@70
|
618 (let ((maxcols (max 1 (/ (YaTeX-screen-width) YaTeX-math-sign-width)))
|
|
yuuji@11
|
619 (case-fold-search nil)
|
|
yuuji@13
|
620 (cols 0) (list alist) command)
|
|
yuuji@11
|
621 (erase-buffer)
|
|
yuuji@13
|
622 (insert
|
|
yuuji@13
|
623 "Candidates of sign. [n:next p:prev f:forw b:back q:quit RET:select]\n")
|
|
yuuji@11
|
624 (insert YaTeX-math-indicator "\t")
|
|
yuuji@11
|
625 (insert YaTeX-math-indicator)
|
|
yuuji@11
|
626 (newline 1)
|
|
yuuji@70
|
627 (insert-char ?- (1- (YaTeX-screen-width)))
|
|
yuuji@11
|
628 (newline 1)
|
|
yuuji@11
|
629 (while list
|
|
yuuji@11
|
630 (if (string-match match-str (car (car list)))
|
|
yuuji@11
|
631 (progn (YaTeX-math-display-list (car list) cols)
|
|
yuuji@11
|
632 (setq cols (% (1+ cols) maxcols))))
|
|
yuuji@11
|
633 (setq list (cdr list)))
|
|
yuuji@13
|
634 (goto-line 4)
|
|
yuuji@11
|
635 (use-local-map YaTeX-math-menu-map)
|
|
yuuji@60
|
636 (setq buffer-read-only t)
|
|
yuuji@11
|
637 (unwind-protect
|
|
yuuji@11
|
638 (recursive-edit)
|
|
yuuji@11
|
639 (skip-chars-backward "^ \t\n")
|
|
yuuji@11
|
640 (setq command
|
|
yuuji@11
|
641 (if (re-search-forward YaTeX-math-cmd-regexp nil t)
|
|
yuuji@11
|
642 (buffer-substring
|
|
yuuji@11
|
643 (match-beginning 0)
|
|
yuuji@11
|
644 (prog2 (skip-chars-forward "^ \t\n") (point)))
|
|
yuuji@11
|
645 nil))
|
|
yuuji@11
|
646 (kill-buffer YaTeX-math-menu-buffer))
|
|
yuuji@80
|
647 command)))
|
|
yuuji@11
|
648
|
|
yuuji@11
|
649 ;
|
|
yuuji@11
|
650 (defun YaTeX-math-show-image (image &optional exit-char)
|
|
yuuji@11
|
651 "Momentarily display IMAGE at the beginning of the next line;
|
|
yuuji@11
|
652 erase it on the next keystroke. The window is recentered if necessary
|
|
yuuji@11
|
653 to make the whole string visible. If the window isn't large enough,
|
|
yuuji@11
|
654 at least you get to read the beginning."
|
|
yuuji@13
|
655 (if (and image (not (string= image "")))
|
|
yuuji@13
|
656 (let ((buffer-read-only nil)
|
|
yuuji@13
|
657 (modified (buffer-modified-p))
|
|
yuuji@13
|
658 (name buffer-file-name)
|
|
yuuji@13
|
659 insert-start
|
|
yuuji@13
|
660 insert-end)
|
|
yuuji@13
|
661 (unwind-protect
|
|
yuuji@13
|
662 (progn
|
|
yuuji@13
|
663 (save-excursion
|
|
yuuji@13
|
664 ;; defeat file locking... don't try this at home, kids!
|
|
yuuji@13
|
665 (setq buffer-file-name nil)
|
|
yuuji@13
|
666 (forward-line 1)
|
|
yuuji@13
|
667 (setq insert-start (point))
|
|
yuuji@13
|
668 (if (eobp) (newline))
|
|
yuuji@13
|
669 (insert image)
|
|
yuuji@13
|
670 (setq insert-end (point)))
|
|
yuuji@13
|
671 ; make sure the whole string is visible
|
|
yuuji@13
|
672 (if (not (pos-visible-in-window-p insert-end))
|
|
yuuji@13
|
673 (recenter (max 0
|
|
yuuji@13
|
674 (- (window-height)
|
|
yuuji@13
|
675 (count-lines insert-start insert-end)
|
|
yuuji@13
|
676 2))))
|
|
yuuji@13
|
677 (let ((char (read-char)))
|
|
yuuji@13
|
678 (or (eq char exit-char)
|
|
yuuji@13
|
679 (setq unread-command-char char))))
|
|
yuuji@13
|
680 (if insert-end
|
|
yuuji@13
|
681 (save-excursion
|
|
yuuji@13
|
682 (delete-region insert-start insert-end)))
|
|
yuuji@13
|
683 (setq buffer-file-name name)
|
|
yuuji@13
|
684 (set-buffer-modified-p modified)))))
|
|
yuuji@11
|
685
|
|
yuuji@52
|
686 (defun YaTeX-math-insert-sequence (&optional force initial)
|
|
yuuji@23
|
687 "Insert math-mode sequence with image completion."
|
|
yuuji@23
|
688 (interactive "P")
|
|
yuuji@52
|
689 (let*((key (or initial "")) regkey str last-char list i
|
|
yuuji@13
|
690 (case-fold-search nil) match sign
|
|
yuuji@13
|
691 (this-key (char-to-string last-command-char))
|
|
yuuji@60
|
692 (alistsym (cdr (assoc this-key YaTeX-math-key-list)))
|
|
yuuji@60
|
693 (alistname (symbol-name alistsym))
|
|
yuuji@60
|
694 (alist (symbol-value alistsym))
|
|
yuuji@13
|
695 (n (length alist)) (beg (point)) result)
|
|
yuuji@52
|
696 (if initial (insert YaTeX-ec (car (cdr (assoc initial alist)))))
|
|
yuuji@60
|
697 (if (string-match "^YaTeX-" alistname)
|
|
yuuji@60
|
698 (setq alistname (substring alistname (length "YaTeX-"))))
|
|
yuuji@60
|
699 (setq alistname (substring alistname 0 (string-match "-" alistname)))
|
|
yuuji@11
|
700 (setq result
|
|
yuuji@11
|
701 (catch 'complete
|
|
yuuji@23
|
702 (if (and (not force)
|
|
yuuji@51
|
703 (if YaTeX-auto-math-mode
|
|
yuuji@51
|
704 (not (YaTeX-in-math-mode-p))
|
|
yuuji@51
|
705 (not YaTeX-math-mode)))
|
|
yuuji@23
|
706 (throw 'complete 'escape));this tag should be exit, but...
|
|
yuuji@11
|
707 (while t
|
|
yuuji@60
|
708 (message "%ssequence%s: %s"
|
|
yuuji@60
|
709 (if YaTeX-simple-messages "" (concat alistname " "))
|
|
yuuji@56
|
710 (if YaTeX-simple-messages "" "(TAB for menu)") key)
|
|
yuuji@11
|
711 (setq last-char (read-char)
|
|
yuuji@11
|
712 key (concat key (char-to-string last-char))
|
|
yuuji@13
|
713 i 0)
|
|
yuuji@11
|
714 (cond
|
|
yuuji@13
|
715 ((string= key this-key) ;;invoke key itself
|
|
yuuji@11
|
716 (throw 'complete 'escape))
|
|
yuuji@13
|
717 ((string= key YaTeX-math-exit-key) ;;exit from math-mode
|
|
yuuji@13
|
718 (throw 'complete 'exit))
|
|
yuuji@23
|
719 ((string-match "\r" key) ;;RET = kakutei
|
|
yuuji@23
|
720 (throw 'complete 'select))
|
|
yuuji@23
|
721 ((string-match "[\C-g\C-c]" key) ;;C-g = abort
|
|
yuuji@23
|
722 (throw 'complete 'abort))
|
|
yuuji@23
|
723 ((string-match "[\t\n]" key) ;;TAB, LFD = menu
|
|
yuuji@23
|
724 (throw 'complete 'menu))
|
|
yuuji@23
|
725 ((string-match "[\C-h\C-?]" key) ;;BS, DEL = BS
|
|
yuuji@23
|
726 (if (< (length key) 2) (throw 'complete 'abort))
|
|
yuuji@13
|
727 (setq key (substring key 0 -2))))
|
|
yuuji@13
|
728
|
|
yuuji@13
|
729 (setq regkey (concat "^" (regexp-quote key)))
|
|
yuuji@56
|
730 (message "Sequence%s: %s"
|
|
yuuji@56
|
731 (if YaTeX-simple-messages "" "(TAB for menu)") key)
|
|
yuuji@11
|
732 (if
|
|
yuuji@11
|
733 (catch 'found
|
|
yuuji@11
|
734 ;;(1)input string strictly matches with alist
|
|
yuuji@23
|
735 (setq match (assoc key alist))
|
|
yuuji@23
|
736 ;;remember previous match
|
|
yuuji@23
|
737
|
|
yuuji@11
|
738 ;;(2)search partial match into alist
|
|
yuuji@13
|
739 (setq list alist)
|
|
yuuji@11
|
740 (while (< i n)
|
|
yuuji@11
|
741 (if (string-match
|
|
yuuji@13
|
742 regkey
|
|
yuuji@13
|
743 ;;(aref array i)
|
|
yuuji@13
|
744 ;;(car (nth i alist))
|
|
yuuji@23
|
745 (car (car list)))
|
|
yuuji@11
|
746 (progn
|
|
yuuji@11
|
747 (or match
|
|
yuuji@13
|
748 ;;(setq match (nth i alist))
|
|
yuuji@13
|
749 (setq match (car list)))
|
|
yuuji@11
|
750 (throw 'found t)))
|
|
yuuji@13
|
751 (setq i (1+ i) list (cdr list)))) ;catch 'found
|
|
yuuji@11
|
752 nil ;;if any match, continue reading
|
|
yuuji@11
|
753 ;;else reading of sequence has been done.
|
|
yuuji@11
|
754 (message "complete.")
|
|
yuuji@23
|
755 (throw 'complete t))
|
|
yuuji@23
|
756
|
|
yuuji@11
|
757 (if match
|
|
yuuji@11
|
758 (progn (delete-region beg (point))
|
|
yuuji@80
|
759 (setq YaTeX-single-command (car (cdr match)))
|
|
yuuji@80
|
760 (insert YaTeX-ec YaTeX-single-command)
|
|
yuuji@13
|
761 (if (and YaTeX-math-need-image
|
|
yuuji@13
|
762 (setq sign (YaTeX-math-get-sign match)))
|
|
yuuji@13
|
763 (YaTeX-math-show-image (concat sign "\n")))
|
|
yuuji@11
|
764 )
|
|
yuuji@11
|
765 nil)
|
|
yuuji@11
|
766 )))
|
|
yuuji@68
|
767 (delete-region beg (point))
|
|
yuuji@11
|
768 (cond
|
|
yuuji@68
|
769 ((memq result '(t select))
|
|
yuuji@68
|
770 (if (eq result t)
|
|
yuuji@68
|
771 (setq unread-command-char last-char)
|
|
yuuji@68
|
772 (message "Done."))
|
|
yuuji@80
|
773 (if (assoc YaTeX-single-command section-table)
|
|
yuuji@80
|
774 (YaTeX-make-section nil nil nil YaTeX-single-command)
|
|
yuuji@68
|
775 (setq YaTeX-current-completion-type 'maketitle)
|
|
yuuji@80
|
776 (YaTeX-make-singlecmd YaTeX-single-command)))
|
|
yuuji@11
|
777 ((eq result 'abort)
|
|
yuuji@11
|
778 (message "Abort."))
|
|
yuuji@11
|
779 ((eq result 'escape)
|
|
yuuji@80
|
780 (call-interactively (lookup-key global-map this-key)))
|
|
yuuji@13
|
781 ((eq result 'exit)
|
|
yuuji@13
|
782 (YaTeX-toggle-math-mode))
|
|
yuuji@11
|
783 ((eq result 'menu)
|
|
yuuji@11
|
784 (setq key (concat "^" (regexp-quote (substring key 0 -1))))
|
|
yuuji@68
|
785 (insert (YaTeX-math-show-menu key))))))
|
|
yuuji@52
|
786
|
|
yuuji@52
|
787 ;; ----- Change image completion types -----
|
|
yuuji@52
|
788 (defun YaTeX-math-member-p (item)
|
|
yuuji@52
|
789 "Check if ITEM is a member of image completion.
|
|
yuuji@52
|
790 If so return the cons of its invocation key and image-string."
|
|
yuuji@52
|
791 (let ((lists YaTeX-math-key-list) list)
|
|
yuuji@52
|
792 (catch 'found
|
|
yuuji@52
|
793 (while lists
|
|
yuuji@52
|
794 (setq list (symbol-value (cdr (car lists))))
|
|
yuuji@52
|
795 (while list
|
|
yuuji@52
|
796 (if (string= item (nth 1 (car list)))
|
|
yuuji@52
|
797 (throw 'found (cons (car (car lists)) (nth 0 (car list)))))
|
|
yuuji@52
|
798 (setq list (cdr list)))
|
|
yuuji@52
|
799 (setq lists (cdr lists))))))
|
|
yuuji@52
|
800
|
|
yuuji@69
|
801 ;;; ----- for AMS LaTeX (by matsu@math.s.chiba-u.ac.jp) -----
|
|
yuuji@69
|
802 (defvar YaTeX-ams-paren-modifier
|
|
yuuji@69
|
803 '(("Biggl" . "Biggr") ("biggl" . "biggr")
|
|
yuuji@69
|
804 ("Bigl" . "Bigr") ("bigl" . "bigr")
|
|
yuuji@69
|
805 ("left" . "right") ("" . ""))
|
|
yuuji@69
|
806 "Alist of modifier of parentheses.")
|
|
yuuji@69
|
807
|
|
yuuji@69
|
808 (defvar YaTeX-left-paren "(\\|\\[\\|\\\\{")
|
|
yuuji@69
|
809 (defvar YaTeX-right-paren ")\\|\\]\\|\\\\}")
|
|
yuuji@69
|
810 (defvar YaTeX-paren
|
|
yuuji@69
|
811 (concat YaTeX-left-paren "\\|" YaTeX-right-paren))
|
|
yuuji@69
|
812
|
|
yuuji@69
|
813 (defun YaTeX-on-parenthesis-p ()
|
|
yuuji@69
|
814 "If cursor is on an (AMS-LaTeX) parenthesis, return the parenthesis."
|
|
yuuji@69
|
815 (interactive)
|
|
yuuji@69
|
816 (let* ((list YaTeX-ams-paren-modifier)
|
|
yuuji@69
|
817 (longest 0) ;; the longest length of parenthesis command strings
|
|
yuuji@69
|
818 (flag t) ;; flag for whether on braces not following \
|
|
yuuji@69
|
819 (point (point))
|
|
yuuji@69
|
820 (move 0)
|
|
yuuji@69
|
821 (paren))
|
|
yuuji@69
|
822 (while list
|
|
yuuji@69
|
823 (setq longest
|
|
yuuji@69
|
824 (max longest (length (car (car list))) (length (cdr (car list)))))
|
|
yuuji@69
|
825 (setq list (cdr list)))
|
|
yuuji@69
|
826 (save-excursion
|
|
yuuji@69
|
827 ;; search {} and, if it does not follow `\', set flag nil.
|
|
yuuji@69
|
828 ;; if it is right after `\', set flag t and move to the position of \.
|
|
yuuji@69
|
829 ;; mmmmm.
|
|
yuuji@69
|
830 (if (looking-at "{\\|}")
|
|
yuuji@69
|
831 (if (not (equal (char-after (1- (point))) 92))
|
|
yuuji@69
|
832 (setq flag nil)
|
|
yuuji@69
|
833 (forward-char -1)))
|
|
yuuji@69
|
834 ;; if flag is nil, do nothing.
|
|
yuuji@69
|
835 (if (and flag (re-search-forward YaTeX-paren
|
|
yuuji@69
|
836 (+ (point) 3 longest) t))
|
|
yuuji@69
|
837 (progn
|
|
yuuji@69
|
838 (setq move (- (point) point))
|
|
yuuji@80
|
839 (setq paren (YaTeX-match-string 0))
|
|
yuuji@69
|
840 (setq list YaTeX-ams-paren-modifier)
|
|
yuuji@69
|
841 ;; criterion for whether on [] () \{\} or not.
|
|
yuuji@69
|
842 (if (string-match YaTeX-left-paren paren)
|
|
yuuji@69
|
843 (while (and list flag)
|
|
yuuji@69
|
844 (let* ((mod (car (car list)))
|
|
yuuji@69
|
845 (mod-length 0) ;; length of modifier
|
|
yuuji@69
|
846 paren-regexp ;; regexp of paren.
|
|
yuuji@69
|
847 mod-regexp) ;; regexp of modifier.
|
|
yuuji@69
|
848 (if (> (length mod) 0)
|
|
yuuji@69
|
849 (setq mod-regexp (concat "\\\\" mod)
|
|
yuuji@69
|
850 mod-length (1+ (length mod))))
|
|
yuuji@69
|
851 (cond ((string= paren "\\{")
|
|
yuuji@69
|
852 (setq paren-regexp (concat "\\" paren)))
|
|
yuuji@69
|
853 ((string= paren "[")
|
|
yuuji@69
|
854 (setq paren-regexp "\\["))
|
|
yuuji@69
|
855 (t (setq paren-regexp paren)))
|
|
yuuji@69
|
856 (save-excursion
|
|
yuuji@69
|
857 (if (and (>= (- (point) (point-min))
|
|
yuuji@69
|
858 (+ mod-length (length paren)))
|
|
yuuji@69
|
859 (not (forward-char
|
|
yuuji@69
|
860 (- 0 mod-length (length paren))))
|
|
yuuji@69
|
861 (looking-at (concat "\\(" mod-regexp "\\)\\("
|
|
yuuji@69
|
862 paren-regexp "\\)")))
|
|
yuuji@69
|
863 (setq flag nil)))
|
|
yuuji@69
|
864 (setq list (cdr list))))
|
|
yuuji@69
|
865 (while (and list flag)
|
|
yuuji@69
|
866 (let* ((mod (cdr (car list)))
|
|
yuuji@69
|
867 (mod-length 0)
|
|
yuuji@69
|
868 paren-regexp
|
|
yuuji@69
|
869 mod-regexp)
|
|
yuuji@69
|
870 (if (> (length mod) 0)
|
|
yuuji@69
|
871 (setq mod-regexp (concat "\\\\" mod)
|
|
yuuji@69
|
872 mod-length (1+ (length mod))))
|
|
yuuji@69
|
873 (cond ((string= paren "\\}")
|
|
yuuji@69
|
874 (setq paren-regexp (concat "\\" paren)))
|
|
yuuji@69
|
875 ((string= paren "]")
|
|
yuuji@69
|
876 (setq paren-regexp "\\]"))
|
|
yuuji@69
|
877 (t (setq paren-regexp paren)))
|
|
yuuji@69
|
878 (save-excursion
|
|
yuuji@69
|
879 (if (and (>= (- (point) (point-min))
|
|
yuuji@69
|
880 (+ mod-length (length paren)))
|
|
yuuji@69
|
881 (not (forward-char
|
|
yuuji@69
|
882 (- 0 mod-length (length paren))))
|
|
yuuji@69
|
883 (looking-at (concat "\\(" mod-regexp "\\)\\("
|
|
yuuji@69
|
884 paren-regexp "\\)")))
|
|
yuuji@69
|
885 (setq flag nil)))
|
|
yuuji@69
|
886 (setq list (cdr list)))))
|
|
yuuji@80
|
887 (if (<= move (length (YaTeX-match-string 0)))
|
|
yuuji@80
|
888 (YaTeX-match-string 0)))))))
|
|
yuuji@69
|
889
|
|
yuuji@77
|
890 (defun YaTeX-goto-open-paren (&optional jumpto-co)
|
|
yuuji@77
|
891 "Jump to the exact position of open parenthesis.
|
|
yuuji@77
|
892 If optional argument JUMPTO-CO is non-nil, goto corresponding parentheses."
|
|
yuuji@69
|
893 (interactive)
|
|
yuuji@69
|
894 (let ((paren)
|
|
yuuji@69
|
895 (backslash-syntax (char-to-string (char-syntax ?\\))))
|
|
yuuji@69
|
896 (if (setq paren (YaTeX-on-parenthesis-p))
|
|
yuuji@69
|
897 (if (string-match "(\\|{\\|\\[" paren (1- (length paren)))
|
|
yuuji@69
|
898 (progn
|
|
yuuji@69
|
899 (re-search-forward "(\\|{\\|\\[" (+ (point) (length paren)) t)
|
|
yuuji@77
|
900 (backward-char)
|
|
yuuji@77
|
901 (if jumpto-co
|
|
yuuji@77
|
902 (unwind-protect
|
|
yuuji@77
|
903 (progn
|
|
yuuji@77
|
904 (modify-syntax-entry ?\\ " ")
|
|
yuuji@77
|
905 (forward-list)
|
|
yuuji@77
|
906 (backward-char))
|
|
yuuji@77
|
907 (modify-syntax-entry ?\\ backslash-syntax)))
|
|
yuuji@77
|
908 (point))
|
|
yuuji@69
|
909 (re-search-forward ")\\|}\\|\\]" (+ (point) (length paren)) t)
|
|
yuuji@69
|
910 (unwind-protect
|
|
yuuji@69
|
911 (progn
|
|
yuuji@69
|
912 (modify-syntax-entry ?\\ " ")
|
|
yuuji@77
|
913 (backward-list)
|
|
yuuji@77
|
914 (point))
|
|
yuuji@69
|
915 (modify-syntax-entry ?\\ backslash-syntax))))))
|
|
yuuji@69
|
916
|
|
yuuji@77
|
917 ;;;###autoload
|
|
yuuji@77
|
918 (defun YaTeX-goto-corresponding-paren ()
|
|
yuuji@77
|
919 "Go to corresponding mathematical parentheses."
|
|
yuuji@77
|
920 (if (YaTeX-on-parenthesis-p)
|
|
yuuji@77
|
921 (YaTeX-goto-open-paren t)
|
|
yuuji@77
|
922 nil))
|
|
yuuji@77
|
923
|
|
yuuji@69
|
924 (defun YaTeX-change-parentheses ()
|
|
yuuji@69
|
925 "Change the size of parentheses, braces, and brackets of AMS-LaTeX."
|
|
yuuji@69
|
926 (interactive)
|
|
yuuji@69
|
927 (if (not (and YaTeX-use-AMS-LaTeX (YaTeX-on-parenthesis-p)))
|
|
yuuji@69
|
928 nil
|
|
yuuji@80
|
929 (let* ((mod (YaTeX-match-string 1)) ;; modifier
|
|
yuuji@80
|
930 (paren (if mod (YaTeX-match-string 2) (YaTeX-match-string 0))) ;; paren
|
|
yuuji@69
|
931 (mod-length (if (or (string= mod "\\left") (string= mod "\\right"))
|
|
yuuji@69
|
932 5 ;; 5 in case left or right
|
|
yuuji@69
|
933 (length mod))) ;; length of modifier
|
|
yuuji@69
|
934 (paren-length (length paren)) ;; length of paren
|
|
yuuji@69
|
935 (length (+ mod-length paren-length)) ;; length of whole string
|
|
yuuji@69
|
936 (big-p t) ;; flag whether new modifier is "[Bb]ig+" or not.
|
|
yuuji@69
|
937 size ;; left, big, Big etc.
|
|
yuuji@77
|
938 type ;; parentheses type
|
|
yuuji@69
|
939 lr ;; "l" or "r".
|
|
yuuji@69
|
940 char newsize newsize-length
|
|
yuuji@69
|
941 (backslash-syntax (char-to-string (char-syntax ?\\)))
|
|
yuuji@69
|
942 (case-fold-search))
|
|
yuuji@69
|
943 ;; decide lr and size from mod and paren.
|
|
yuuji@69
|
944 (cond ((string-match "\\(\\\\[Bb]ig+\\)[lr]" mod)
|
|
yuuji@69
|
945 (setq size (substring mod 1 (match-end 1))
|
|
yuuji@69
|
946 lr (substring mod (match-end 1) (match-end 0))))
|
|
yuuji@69
|
947 ((string-match "\\\\left" mod)
|
|
yuuji@69
|
948 (setq size "left-right" lr "l"))
|
|
yuuji@69
|
949 ((string-match "\\\\right" mod)
|
|
yuuji@69
|
950 (setq size "left-right" lr "r"))
|
|
yuuji@69
|
951 ((string-match "(\\|\\[\\|\\\\{" paren)
|
|
yuuji@69
|
952 (setq size "null" lr "l"))
|
|
yuuji@69
|
953 ((string-match ")\\|\\]\\|\\\\}" paren)
|
|
yuuji@69
|
954 (setq size "null" lr "r"))
|
|
yuuji@69
|
955 (t
|
|
yuuji@69
|
956 (setq size nil lr nil)))
|
|
yuuji@69
|
957 (while (not newsize)
|
|
yuuji@69
|
958 (message (format (concat "Change from %s: "
|
|
yuuji@69
|
959 "l(big) L(Big) h(bigg) H(Bigg) "
|
|
yuuji@77
|
960 "r(left-right) n(NONE) ( { [") size))
|
|
yuuji@69
|
961 (setq char (read-char)
|
|
yuuji@69
|
962 newsize (cond ((char-equal char ?l) "\\big")
|
|
yuuji@69
|
963 ((char-equal char ?L) "\\Big")
|
|
yuuji@69
|
964 ((char-equal char ?h) "\\bigg")
|
|
yuuji@69
|
965 ((char-equal char ?H) "\\Bigg")
|
|
yuuji@69
|
966 ((char-equal char ?r)
|
|
yuuji@69
|
967 (setq big-p nil) "\\left")
|
|
yuuji@77
|
968 ((memq char '(?\( ?\)))
|
|
yuuji@77
|
969 (setq big-p nil type '("(" . ")")) "")
|
|
yuuji@77
|
970 ((memq char '(?\{ ?\}))
|
|
yuuji@77
|
971 (setq big-p nil type '("\\{" . "\\}")) "")
|
|
yuuji@77
|
972 ((memq char '(?\[ ?\]))
|
|
yuuji@77
|
973 (setq big-p nil type '("[" . "]")) "")
|
|
yuuji@69
|
974 ((char-equal char ?n)
|
|
yuuji@69
|
975 (setq big-p nil) "")
|
|
yuuji@69
|
976 (t nil))
|
|
yuuji@69
|
977 newsize-length (length newsize)))
|
|
yuuji@69
|
978 (YaTeX-goto-open-paren)
|
|
yuuji@69
|
979 (forward-char)
|
|
yuuji@77
|
980 (cond
|
|
yuuji@77
|
981 (type
|
|
yuuji@77
|
982 (delete-region (point) (- (point) paren-length))
|
|
yuuji@77
|
983 (save-excursion (insert (car type))))
|
|
yuuji@77
|
984 (t
|
|
yuuji@77
|
985 (delete-region (- (point) length) (- (point) paren-length))
|
|
yuuji@77
|
986 (backward-char paren-length)))
|
|
yuuji@69
|
987 (insert-string newsize)
|
|
yuuji@69
|
988 (if big-p (insert ?l))
|
|
yuuji@69
|
989 (unwind-protect
|
|
yuuji@69
|
990 (progn
|
|
yuuji@69
|
991 (modify-syntax-entry ?\\ " ")
|
|
yuuji@69
|
992 (forward-list)
|
|
yuuji@69
|
993 (if (string= size "left-right") (setq length (1+ length)))
|
|
yuuji@69
|
994 (if (eq char ?r) (setq newsize "\\right"))
|
|
yuuji@77
|
995 (cond
|
|
yuuji@77
|
996 (type
|
|
yuuji@77
|
997 (delete-region (point) (- (point) paren-length))
|
|
yuuji@77
|
998 (insert (cdr type)))
|
|
yuuji@77
|
999 (t
|
|
yuuji@77
|
1000 (delete-region (- (point) length) (- (point) paren-length))
|
|
yuuji@77
|
1001 (backward-char paren-length)
|
|
yuuji@77
|
1002 (insert-string newsize)
|
|
yuuji@77
|
1003 (if big-p (insert ?r))
|
|
yuuji@77
|
1004 (forward-char paren-length)))
|
|
yuuji@69
|
1005 (if (string= lr "l") (backward-list)))
|
|
yuuji@69
|
1006 (modify-syntax-entry ?\\ backslash-syntax))
|
|
yuuji@69
|
1007 t)))
|
|
yuuji@69
|
1008
|
|
yuuji@69
|
1009 (defun YaTeX-insert-amsparens-region (beg end char)
|
|
yuuji@69
|
1010 (interactive "r\ncWhich one ? l(big) L(Big) h(bigg) H(Bigg): ")
|
|
yuuji@69
|
1011 (let* ((case-fold-search)
|
|
yuuji@69
|
1012 (st (cond ((char-equal char ?l) "big")
|
|
yuuji@69
|
1013 ((char-equal char ?L) "Big")
|
|
yuuji@69
|
1014 ((char-equal char ?h) "bigg")
|
|
yuuji@69
|
1015 ((char-equal char ?H) "Bigg"))))
|
|
yuuji@69
|
1016 (if st
|
|
yuuji@69
|
1017 (YaTeX-insert-braces-region
|
|
yuuji@69
|
1018 beg end (concat "\\" st "l(") (concat "\\" st "r)"))
|
|
yuuji@69
|
1019 (YaTeX-insert-braces-region beg end "(" ")"))))
|
|
yuuji@69
|
1020
|
|
yuuji@69
|
1021 (defun YaTeX-insert-amsbraces-region (beg end char)
|
|
yuuji@69
|
1022 (interactive "r\ncWhich one ? l(big) L(Big) h(bigg) H(Bigg): ")
|
|
yuuji@69
|
1023 (let* ((case-fold-search)
|
|
yuuji@69
|
1024 (st (cond ((char-equal char ?l) "big")
|
|
yuuji@69
|
1025 ((char-equal char ?L) "Big")
|
|
yuuji@69
|
1026 ((char-equal char ?h) "bigg")
|
|
yuuji@69
|
1027 ((char-equal char ?H) "Bigg"))))
|
|
yuuji@69
|
1028 (if st
|
|
yuuji@69
|
1029 (YaTeX-insert-braces-region
|
|
yuuji@69
|
1030 beg end (concat "\\" st "l\\{") (concat "\\" st "r\\}"))
|
|
yuuji@69
|
1031 (YaTeX-insert-braces-region beg end "\\{" "\\}"))))
|
|
yuuji@69
|
1032
|
|
yuuji@69
|
1033 (defun YaTeX-insert-amsbrackets-region (beg end char)
|
|
yuuji@69
|
1034 (interactive "r\ncWhich one ? l(big) L(Big) h(bigg) H(Bigg): ")
|
|
yuuji@69
|
1035 (let* ((case-fold-search)
|
|
yuuji@69
|
1036 (st (cond ((char-equal char ?l) "big")
|
|
yuuji@69
|
1037 ((char-equal char ?L) "Big")
|
|
yuuji@69
|
1038 ((char-equal char ?h) "bigg")
|
|
yuuji@69
|
1039 ((char-equal char ?H) "Bigg"))))
|
|
yuuji@69
|
1040 (if st
|
|
yuuji@69
|
1041 (YaTeX-insert-braces-region
|
|
yuuji@69
|
1042 beg end (concat "\\" st "l[") (concat "\\" st "r]"))
|
|
yuuji@69
|
1043 (YaTeX-insert-braces-region beg end "[" "]"))))
|
|
yuuji@69
|
1044
|
|
yuuji@69
|
1045
|
|
yuuji@11
|
1046 ;;
|
|
yuuji@11
|
1047 (provide 'yatexmth)
|
|
yuuji@13
|
1048
|
|
yuuji@13
|
1049 ; Local variables:
|
|
yuuji@13
|
1050 ; fill-prefix: ";;; "
|
|
yuuji@13
|
1051 ; paragraph-start: "^$\\| \\|;;;$"
|
|
yuuji@13
|
1052 ; paragraph-separate: "^$\\| \\|;;;$"
|
|
yuuji@13
|
1053 ; End:
|
