Mercurial > emacs
annotate lisp/org/org-entities.el @ 109313:e856a274549b
Constify functions taking char *
* alloc.c (pending_malloc_warning, malloc_warning): Add const.
* callproc.c (relocate_fd, getenv_internal_1, getenv_internal)
(egetenv): Likewise.
* doprnt.c (doprnt): Likewise.
* editfns.c (set_time_zone_rule, format2): Likewise.
* emacs.c (decode_env_path): Likewise.
* eval.c (signal_error, error): Likewise.
* insdel.c (replace_range_2): Likewise.
* keyboard.c (cmd_error_internal): Likewise.
* lread.c (isfloat_string, make_symbol, dir_warning): Likewise.
* print.c (write_string, write_string_1, print_error_message):
Likewise.
* vm-limit.c (warn_function, memory_warnings): Likewise.
* xdisp.c (message1, message1_nolog, message_with_string)
(vmessage, message, message_nolog): Likewise.
* emacs.c: Remove duplicate declaration.
* keyboard.h: Likewise.
* lisp.h: Update prototypes.
author | Andreas Schwab <schwab@linux-m68k.org> |
---|---|
date | Sun, 11 Jul 2010 11:27:13 +0200 |
parents | 3bd67aa6b7e2 |
children | a150e8a14679 |
rev | line source |
---|---|
107863
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
1 ;;; org-entities.el --- Support for special entities in Org-mode |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
2 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
3 ;; Copyright (C) 2010 Free Software Foundation, Inc. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
4 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
5 ;; Author: Carsten Dominik <carsten at orgmode dot org>, |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
6 ;; Ulf Stegemann <ulf at zeitform dot de> |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
7 ;; Keywords: outlines, calendar, wp |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
8 ;; Homepage: http://orgmode.org |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
9 ;; Version: 6.35i |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
10 ;; |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
11 ;; This file is part of GNU Emacs. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
12 ;; |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
13 ;; GNU Emacs is free software: you can redistribute it and/or modify |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
14 ;; it under the terms of the GNU General Public License as published by |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
15 ;; the Free Software Foundation, either version 3 of the License, or |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
16 ;; (at your option) any later version. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
17 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
18 ;; GNU Emacs is distributed in the hope that it will be useful, |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
21 ;; GNU General Public License for more details. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
22 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
23 ;; You should have received a copy of the GNU General Public License |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
24 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
25 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
26 ;; |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
27 ;;; Commentary: |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
28 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
29 (require 'org-macs) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
30 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
31 (declare-function org-table-align "org-table" ()) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
32 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
33 (eval-when-compile |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
34 (require 'cl)) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
35 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
36 (defgroup org-entities nil |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
37 "Options concerning entities in Org-mode." |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
38 :tag "Org Entities" |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
39 :group 'org) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
40 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
41 (defcustom org-entities-ascii-explanatory nil |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
42 "Non-nil means replace special entities in ASCII. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
43 For example, this will replace \"\\nsup\" with \"[not a superset of]\" |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
44 in backends where the corresponding character is not available." |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
45 :group 'org-entities |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
46 :type 'boolean) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
47 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
48 (defcustom org-entities-user nil |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
49 "User-defined entities used in Org-mode to preduce special characters. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
50 Each entry in this list is a list of strings. It associate the name |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
51 of the entity that can be inserted into an Org file as \\name with the |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
52 appropriate replacements for the different export backends. The order |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
53 of the fields is he following |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
54 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
55 name As a string, without the leading backslash |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
56 LaTeX replacement In ready LaTeX, no further processing will take place |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
57 LaTeX mathp A Boolean, either t or nil. t if this entity needs |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
58 to be in math mode. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
59 HTML replacement In ready HTML, no further processing will take place. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
60 Usually this will be an &...; entity. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
61 ASCII replacement Plain ASCII, no extensions. Symbols that cannot be |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
62 represented will be written out as an explanatory text. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
63 But see the variable `org-entities-ascii-keep-macro-form'. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
64 Latin1 replacement Use the special characters available in latin1. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
65 utf-8 replacement Use special character available in utf-8. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
66 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
67 If you define new entities here that require specific LaTeX packages to be |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
68 loaded, add these packages to `org-export-latex-packages-alist'." |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
69 :group 'org-entities |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
70 :type '(repeat |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
71 (list |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
72 (string :tag "name ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
73 (string :tag "LaTeX ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
74 (boolean :tag "Require LaTeX math?") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
75 (string :tag "HTML ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
76 (string :tag "ASCII ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
77 (string :tag "Latin1") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
78 (string :tag "utf-8 ")))) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
79 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
80 (defconst org-entities |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
81 '(("nbsp" "~" nil " " " " " " " ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
82 ("iexcl" "!`" nil "¡" "!" "¡" "¡") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
83 ("cent" "\\textcent{}" nil "¢" "cent" "¢" "¢") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
84 ("pound" "\\pounds{}" nil "£" "pound" "£" "£") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
85 ("curren" "\\textcurrency{}" nil "¤" "curr." "¤" "¤") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
86 ("yen" "\\textyen{}" nil "¥" "yen" "¥" "¥") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
87 ("brvbar" "\\textbrokenbar{}" nil "¦" "|" "¦" "¦") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
88 ("vert" "\\vert{}" t "|" "|" "|" "|") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
89 ("sect" "\\S" nil "§" "paragraph" "§" "§") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
90 ("uml" "\\textasciidieresis{}" nil "¨" "[diaeresis]" "¨" "¨") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
91 ("copy" "\\textcopyright{}" nil "©" "(c)" "©" "©") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
92 ("ordf" "\\textordfeminine{}" nil "ª" "_a_" "ª" "ª") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
93 ("laquo" "\\guillemotleft{}" nil "«" "<<" "«" "«") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
94 ("not" "\\textlnot{}" nil "¬" "[angled dash]" "¬" "¬") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
95 ("shy" "\\-" nil "­" "" "" "") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
96 ("reg" "\\textregistered{}" nil "®" "(r)" "®" "®") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
97 ("macr" "\\textasciimacron{}" nil "¯" "[macron]" "¯" "¯") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
98 ("deg" "\\textdegree{}" nil "deg" "degree" "°" "°") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
99 ("pm" "\\textpm{}" nil "±" "+-" "±" "±") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
100 ("plusmn" "\\textpm{}" nil "±" "+-" "±" "±") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
101 ("sup2" "\\texttwosuperior{}" nil "²" "^2" "²" "²") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
102 ("sup3" "\\textthreesuperior{}" nil "³" "^3" "³" "³") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
103 ("acutex" "\\acute x" t "´x" "'x" "'x" "𝑥́") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
104 ("micro" "\\textmu{}" nil "µ" "micro" "µ" "µ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
105 ("para" "\\P{}" nil "¶" "[pilcrow]" "¶" "¶") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
106 ("middot" "\\textperiodcentered{}" nil "·" "." "·" "·") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
107 ("odot" "\\odot" t "o" "[circled dot]" "[circled dot]" "ʘ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
108 ("star" "\\star" t "*" "*" "*" "⋆") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
109 ("cedil" "\\c{}" nil "¸" "[cedilla]" "¸" "¸") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
110 ("sup1" "\\textonesuperior{}" nil "¹" "^1" "¹" "¹") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
111 ("ordm" "\\textordmasculine{}" nil "º" "_o_" "º" "º") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
112 ("raquo" "\\guillemotright{}" nil "»" ">>" "»" "»") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
113 ("iquest" "?`" nil "¿" "?" "¿" "¿") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
114 ("Agrave" "\\`{A}" nil "À" "A" "À" "À") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
115 ("Aacute" "\\'{A}" nil "Á" "A" "Á" "Á") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
116 ("Acirc" "\\^{A}" nil "Â" "A" "Â" "Â") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
117 ("Atilde" "\\~{A}" nil "Ã" "A" "Ã" "Ã") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
118 ("Auml" "\\\"{A}" nil "Ä" "Ae" "Ä" "Ä") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
119 ("Aring" "\\AA{}" nil "Å" "A" "Å" "Å") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
120 ("AA" "\\AA{}" nil "Å" "A" "Å" "Å") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
121 ("AElig" "\\AE{}" nil "Æ" "AE" "Æ" "Æ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
122 ("Ccedil" "\\c{C}" nil "Ç" "C" "Ç" "Ç") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
123 ("Egrave" "\\`{E}" nil "È" "E" "È" "È") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
124 ("Eacute" "\\'{E}" nil "É" "E" "É" "É") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
125 ("Ecirc" "\\^{E}" nil "Ê" "E" "Ê" "Ê") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
126 ("Euml" "\\\"{E}" nil "Ë" "E" "Ë" "Ë") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
127 ("Igrave" "\\`{I}" nil "Ì" "I" "Ì" "Ì") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
128 ("Iacute" "\\'{I}" nil "Í" "I" "Í" "Í") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
129 ("Icirc" "\\^{I}" nil "Î" "I" "Î" "Î") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
130 ("Iuml" "\\\"{I}" nil "Ï" "I" "Ï" "Ï") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
131 ("ETH" "\\DH{}" nil "Ð" "D" "Ð" "Ð") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
132 ("Ntilde" "\\~{N}" nil "Ñ" "N" "Ñ" "Ñ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
133 ("Ograve" "\\`{O}" nil "Ò" "O" "Ò" "Ò") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
134 ("Oacute" "\\'{O}" nil "Ó" "O" "Ó" "Ó") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
135 ("Ocirc" "\\^{O}" nil "Ô" "O" "Ô" "Ô") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
136 ("Otilde" "\\~{O}" nil "Õ" "O" "Õ" "Õ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
137 ("Ouml" "\\\"{O}" nil "Ö" "Oe" "Ö" "Ö") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
138 ("times" "\\texttimes{}" nil "×" "*" "×" "×") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
139 ("Oslash" "\\O" nil "Ø" "O" "Ø" "Ø") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
140 ("Ugrave" "\\`{U}" nil "Ù" "U" "Ù" "Ù") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
141 ("Uacute" "\\'{U}" nil "Ú" "U" "Ú" "Ú") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
142 ("Ucirc" "\\^{U}" nil "Û" "U" "Û" "Û") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
143 ("Uuml" "\\\"{U}" nil "Ü" "Ue" "Ü" "Ü") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
144 ("Yacute" "\\'{Y}" nil "Ý" "Y" "Ý" "Ý") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
145 ("THORN" "\\TH{}" nil "Þ" "TH" "Þ" "Þ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
146 ("szlig" "\\ss{}" nil "ß" "ss" "ß" "ß") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
147 ("agrave" "\\`{a}" nil "à" "a" "à" "à") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
148 ("aacute" "\\'{a}" nil "á" "a" "á" "á") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
149 ("acirc" "\\^{a}" nil "â" "a" "â" "â") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
150 ("atilde" "\\~{a}" nil "ã" "a" "ã" "ã") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
151 ("auml" "\\\"{a}" nil "ä" "ae" "ä" "ä") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
152 ("aring" "\\aa{}" nil "å" "a" "å" "å") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
153 ("aelig" "\\ae{}" nil "æ" "ae" "æ" "æ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
154 ("ccedil" "\\c{c}" nil "ç" "c" "ç" "ç") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
155 ("checkmark" "\\checkmark" t "✓" "[checkmark]" "[checkmark]" "✓") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
156 ("egrave" "\\`{e}" nil "è" "e" "è" "è") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
157 ("eacute" "\\'{e}" nil "é" "e" "é" "é") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
158 ("ecirc" "\\^{e}" nil "ê" "e" "ê" "ê") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
159 ("euml" "\\\"{e}" nil "ë" "e" "ë" "ë") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
160 ("igrave" "\\`{i}" nil "ì" "i" "ì" "ì") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
161 ("iacute" "\\'{i}" nil "í" "i" "í" "í") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
162 ("icirc" "\\^{i}" nil "î" "i" "î" "î") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
163 ("iuml" "\\\"{i}" nil "ï" "i" "ï" "ï") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
164 ("eth" "\\dh{}" nil "ð" "dh" "ð" "ð") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
165 ("ntilde" "\\~{n}" nil "ñ" "n" "ñ" "ñ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
166 ("ograve" "\\`{o}" nil "ò" "o" "ò" "ò") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
167 ("oacute" "\\'{o}" nil "ó" "o" "ó" "ó") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
168 ("ocirc" "\\^{o}" nil "ô" "o" "ô" "ô") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
169 ("otilde" "\\~{o}" nil "õ" "o" "õ" "õ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
170 ("ouml" "\\\"{o}" nil "ö" "oe" "ö" "ö") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
171 ("oslash" "\\o{}" nil "ø" "o" "ø" "ø") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
172 ("ugrave" "\\`{u}" nil "ù" "u" "ù" "ù") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
173 ("uacute" "\\'{u}" nil "ú" "u" "ú" "ú") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
174 ("ucirc" "\\^{u}" nil "û" "u" "û" "û") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
175 ("uuml" "\\\"{u}" nil "ü" "ue" "ü" "ü") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
176 ("yacute" "\\'{y}" nil "ý" "y" "ý" "ý") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
177 ("thorn" "\\th{}" nil "þ" "th" "þ" "þ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
178 ("yuml" "\\\"{y}" nil "ÿ" "y" "ÿ" "ÿ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
179 ("fnof" "\\textit{f}" nil "ƒ" "f" "f" "ƒ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
180 ("Alpha" "A" nil "Α" "Alpha" "Alpha" "Α") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
181 ("Beta" "B" nil "Β" "Beta" "Beta" "Β") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
182 ("Gamma" "\\Gamma" t "Γ" "Gamma" "Gamma" "Γ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
183 ("Delta" "\\Delta" t "Δ" "Delta" "Gamma" "Δ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
184 ("Epsilon" "E" nil "Ε" "Epsilon" "Epsilon" "Ε") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
185 ("Zeta" "Z" nil "Ζ" "Zeta" "Zeta" "Ζ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
186 ("Eta" "H" nil "Η" "Eta" "Eta" "Η") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
187 ("Theta" "\\Theta" t "Θ" "Theta" "Theta" "Θ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
188 ("Iota" "I" nil "Ι" "Iota" "Iota" "Ι") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
189 ("Kappa" "K" nil "Κ" "Kappa" "Kappa" "Κ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
190 ("Lambda" "\\Lambda" t "Λ" "Lambda" "Lambda" "Λ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
191 ("Mu" "M" nil "Μ" "Mu" "Mu" "Μ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
192 ("Nu" "N" nil "Ν" "Nu" "Nu" "Ν") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
193 ("Xi" "\\Xi" t "Ξ" "Xi" "Xi" "Ξ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
194 ("Omicron" "O" nil "Ο" "Omicron" "Omicron" "Ο") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
195 ("Pi" "\\Pi" t "Π" "Pi" "Pi" "Π") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
196 ("Rho" "P" nil "Ρ" "Rho" "Rho" "Ρ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
197 ("Sigma" "\\Sigma" t "Σ" "Sigma" "Sigma" "Σ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
198 ("Tau" "T" nil "Τ" "Tau" "Tau" "Τ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
199 ("Upsilon" "\\Upsilon" t "Υ" "Upsilon" "Upsilon" "Υ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
200 ("Phi" "\\Phi" t "Φ" "Phi" "Phi" "Φ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
201 ("Chi" "X" nil "Χ" "Chi" "Chi" "Χ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
202 ("Psi" "\\Psi" t "Ψ" "Psi" "Psi" "Ψ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
203 ("Omega" "\\Omega" t "Ω" "Omega" "Omega" "Ω") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
204 ("alpha" "\\alpha" t "α" "alpha" "alpha" "α") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
205 ("beta" "\\beta" t "β" "beta" "beta" "β") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
206 ("gamma" "\\gamma" t "γ" "gamma" "gamma" "γ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
207 ("delta" "\\delta" t "δ" "delta" "delta" "δ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
208 ("epsilon" "\\epsilon" t "ε" "epsilon" "epsilon" "ε") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
209 ("varepsilon" "\\varepsilon" t "ε" "varepsilon" "varepsilon" "ε") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
210 ("zeta" "\\zeta" t "ζ" "zeta" "zeta" "ζ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
211 ("eta" "\\eta" t "η" "eta" "eta" "η") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
212 ("theta" "\\theta" t "θ" "theta" "theta" "θ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
213 ("iota" "\\iota" t "ι" "iota" "iota" "ι") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
214 ("kappa" "\\kappa" t "κ" "kappa" "kappa" "κ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
215 ("lambda" "\\lambda" t "λ" "lambda" "lambda" "λ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
216 ("mu" "\\mu" t "μ" "mu" "mu" "μ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
217 ("nu" "\\nu" t "ν" "nu" "nu" "ν") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
218 ("xi" "\\xi" t "ξ" "xi" "xi" "ξ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
219 ("omicron" "\\textit{o}" nil "ο" "omicron" "omicron" "ο") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
220 ("pi" "\\pi" t "π" "pi" "pi" "π") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
221 ("rho" "\\rho" t "ρ" "rho" "rho" "ρ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
222 ("sigmaf" "\\varsigma" t "ς" "sigmaf" "sigmaf" "ς") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
223 ("varsigma" "\\varsigma" t "ς" "varsigma" "varsigma" "ς") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
224 ("sigma" "\\sigma" t "σ" "sigma" "sigma" "σ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
225 ("tau" "\\tau" t "τ" "tau" "tau" "τ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
226 ("upsilon" "\\upsilon" t "υ" "upsilon" "upsilon" "υ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
227 ("phi" "\\phi" t "φ" "phi" "phi" "φ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
228 ("chi" "\\chi" t "χ" "chi" "chi" "χ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
229 ("psi" "\\psi" t "ψ" "psi" "psi" "ψ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
230 ("omega" "\\omega" t "ω" "omega" "omega" "ω") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
231 ("thetasym" "\\vartheta" t "ϑ" "theta" "theta" "ϑ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
232 ("vartheta" "\\vartheta" t "ϑ" "theta" "theta" "ϑ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
233 ("upsih" "\\Upsilon" t "ϒ" "upsilon" "upsilon" "ϒ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
234 ("piv" "\\varpi" t "ϖ" "omega-pi" "omega-pi" "ϖ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
235 ("bull" "\\textbullet{}" nil "•" "*" "*" "•") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
236 ("bullet" "\\textbullet{}" nil "•" "*" "*" "•") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
237 ("hellip" "\\dots{}" nil "…" "..." "..." "…") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
238 ("dots" "\\dots{}" nil "…" "..." "..." "…") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
239 ("prime" "\\prime" t "′" "'" "'" "′") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
240 ("Prime" "\\prime{}\\prime" t "″" "''" "''" "″") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
241 ("oline" "\\overline{~}" t "‾" "[overline]" "¯" "‾") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
242 ("frasl" "/" nil "⁄" "/" "/" "⁄") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
243 ("weierp" "\\wp" t "℘" "P" "P" "℘") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
244 ("image" "\\Im" t "ℑ" "I" "I" "ℑ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
245 ("real" "\\Re" t "ℜ" "R" "R" "ℜ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
246 ("trade" "\\texttrademark{}" nil "™" "TM" "TM" "™") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
247 ("alefsym" "\\aleph" t "ℵ" "aleph" "aleph" "ℵ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
248 ("larr" "\\leftarrow" t "←" "<-" "<-" "←") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
249 ("leftarrow" "\\leftarrow" t "←" "<-" "<-" "←") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
250 ("gets" "\\gets" t "←" "<-" "<-" "←") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
251 ("uarr" "\\uparrow" t "↑" "[uparrow]" "[uparrow]" "↑") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
252 ("uparrow" "\\uparrow" t "↑" "[uparrow]" "[uparrow]" "↑") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
253 ("rarr" "\\rightarrow" t "→" "->" "->" "→") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
254 ("to" "\\to" t "→" "->" "->" "→") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
255 ("rightarrow" "\\rightarrow" t "→" "->" "->" "→") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
256 ("darr" "\\downarrow" t "↓" "[downarrow]" "[downarrow]" "↓") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
257 ("downarrow" "\\downarrow" t "↓" "[downarrow]" "[downarrow]" "↓") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
258 ("harr" "\\leftrightarrow" t "↔" "<->" "<->" "↔") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
259 ("leftrightarrow" "\\leftrightarrow" t "↔" "<->" "<->" "↔") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
260 ("crarr" "\\hookleftarrow" t "↵" "<-'" "<-'" "↵") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
261 ("hookleftarrow" "\\hookleftarrow" t "↵" "<-'" "<-'" "↵") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
262 ("lArr" "\\Leftarrow" t "⇐" "<=" "<=" "⇐") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
263 ("Leftarrow" "\\Leftarrow" t "⇐" "<=" "<=" "⇐") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
264 ("uArr" "\\Uparrow" t "⇑" "[dbluparrow]" "[dbluparrow]" "⇑") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
265 ("Uparrow" "\\Uparrow" t "⇑" "[dbluparrow]" "[dbluparrow]" "⇑") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
266 ("rArr" "\\Rightarrow" t "⇒" "=>" "=>" "⇒") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
267 ("Rightarrow" "\\Rightarrow" t "⇒" "=>" "=>" "⇒") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
268 ("dArr" "\\Downarrow" t "⇓" "[dbldownarrow]" "[dbldownarrow]" "⇓") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
269 ("Downarrow" "\\Downarrow" t "⇓" "[dbldownarrow]" "[dbldownarrow]" "⇓") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
270 ("hArr" "\\Leftrightarrow" t "⇔" "<=>" "<=>" "⇔") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
271 ("Leftrightarrow" "\\Leftrightarrow" t "⇔" "<=>" "<=>" "⇔") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
272 ("forall" "\\forall" t "∀" "[for all]" "[for all]" "∀") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
273 ("partial" "\\partial" t "∂" "[partial differential]" "[partial differential]" "∂") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
274 ("exist" "\\exists" t "∃" "[there exists]" "[there exists]" "∃") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
275 ("exists" "\\exists" t "∃" "[there exists]" "[there exists]" "∃") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
276 ("empty" "\\empty" t "∅" "[empty set]" "[empty set]" "∅") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
277 ("emptyset" "\\emptyset" t "∅" "[empty set]" "[empty set]" "∅") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
278 ("nabla" "\\nabla" t "∇" "[nabla]" "[nabla]" "∇") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
279 ("isin" "\\in" t "∈" "[element of]" "[element of]" "∈") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
280 ("in" "\\in" t "∈" "[element of]" "[element of]" "∈") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
281 ("notin" "\\notin" t "∉" "[not an element of]" "[not an element of]" "∉") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
282 ("ni" "\\ni" t "∋" "[contains as member]" "[contains as member]" "∋") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
283 ("prod" "\\prod" t "∏" "[product]" "[n-ary product]" "∏") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
284 ("sum" "\\sum" t "∑" "[sum]" "[sum]" "∑") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
285 ; ("minus" "\\minus" t "−" "-" "-" "−") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
286 ("minus" "-" t "−" "-" "-" "−") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
287 ("lowast" "\\ast" t "∗" "*" "*" "∗") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
288 ("ast" "\\ast" t "∗" "*" "*" "*") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
289 ("radic" "\\sqrt{\\,}" t "√" "[square root]" "[square root]" "√") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
290 ("prop" "\\propto" t "∝" "[proportional to]" "[proportional to]" "∝") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
291 ("proptp" "\\propto" t "∝" "[proportional to]" "[proportional to]" "∝") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
292 ("infin" "\\propto" t "∞" "[infinity]" "[infinity]" "∞") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
293 ("infty" "\\infty" t "∞" "[infinity]" "[infinity]" "∞") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
294 ("ang" "\\angle" t "∠" "[angle]" "[angle]" "∠") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
295 ("angle" "\\angle" t "∠" "[angle]" "[angle]" "∠") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
296 ("and" "\\wedge" t "∧" "[logical and]" "[logical and]" "∧") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
297 ("wedge" "\\wedge" t "∧" "[logical and]" "[logical and]" "∧") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
298 ("or" "\\vee" t "∨" "[logical or]" "[logical or]" "∨") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
299 ("vee" "\\vee" t "∨" "[logical or]" "[logical or]" "∨") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
300 ("cap" "\\cap" t "∩" "[intersection]" "[intersection]" "∩") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
301 ("cup" "\\cup" t "∪" "[union]" "[union]" "∪") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
302 ("int" "\\int" t "∫" "[integral]" "[integral]" "∫") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
303 ; ("there4" "\\uptherefore" t "∴" "[therefore]" "[therefore]" "∴") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
304 ("there4" "\\therefore" t "∴" "[therefore]" "[therefore]" "∴") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
305 ("sim" "\\sim" t "∼" "~" "~" "∼") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
306 ("cong" "\\cong" t "≅" "[approx. equal to]" "[approx. equal to]" "≅") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
307 ("simeq" "\\simeq" t "≅" "[approx. equal to]" "[approx. equal to]" "≅") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
308 ("asymp" "\\asymp" t "≈" "[almost equal to]" "[almost equal to]" "≈") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
309 ("approx" "\\approx" t "≈" "[almost equal to]" "[almost equal to]" "≈") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
310 ("ne" "\\ne" t "≠" "[not equal to]" "[not equal to]" "≠") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
311 ("neq" "\\neq" t "≠" "[not equal to]" "[not equal to]" "≠") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
312 ("equiv" "\\equiv" t "≡" "[identical to]" "[identical to]" "≡") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
313 ("le" "\\le" t "≤" "<=" "<=" "≤") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
314 ("ge" "\\ge" t "≥" ">=" ">=" "≥") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
315 ("sub" "\\subset" t "⊂" "[subset of]" "[subset of]" "⊂") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
316 ("subset" "\\subset" t "⊂" "[subset of]" "[subset of]" "⊂") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
317 ("sup" "\\supset" t "⊃" "[superset of]" "[superset of]" "⊃") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
318 ("supset" "\\supset" t "⊃" "[superset of]" "[superset of]" "⊃") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
319 ("nsub" "\\not\\subset" t "⊄" "[not a subset of]" "[not a subset of" "⊄") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
320 ("sube" "\\subseteq" t "⊆" "[subset of or equal to]" "[subset of or equal to]" "⊆") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
321 ("supe" "\\supseteq" t "⊇" "[superset of or equal to]" "[superset of or equal to]" "⊇") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
322 ("oplus" "\\oplus" t "⊕" "[circled plus]" "[circled plus]" "⊕") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
323 ("otimes" "\\otimes" t "⊗" "[circled times]" "[circled times]" "⊗") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
324 ("perp" "\\perp" t "⊥" "[up tack]" "[up tack]" "⊥") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
325 ("sdot" "\\cdot" t "⋅" "[dot]" "[dot]" "⋅") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
326 ("cdot" "\\cdot" t "⋅" "[dot]" "[dot]" "⋅") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
327 ("lceil" "\\lceil" t "⌈" "[left ceiling]" "[left ceiling]" "⌈") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
328 ("rceil" "\\rceil" t "⌉" "[right ceiling]" "[right ceiling]" "⌉") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
329 ("lfloor" "\\lfloor" t "⌊" "[left floor]" "[left floor]" "⌊") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
330 ("rfloor" "\\rfloor" t "⌋" "[right floor]" "[right floor]" "⌋") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
331 ("lang" "\\langle" t "⟨" "<" "<" "⟨") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
332 ("rang" "\\rangle" t "⟩" ">" ">" "⟩") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
333 ("loz" "\\diamond" t "◊" "[lozenge]" "[lozenge]" "◊") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
334 ("Diamond" "\\diamond" t "⋄" "[diamond]" "[diamond]" "⋄") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
335 ("spades" "\\spadesuit" t "♠" "[spades]" "[spades]" "♠") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
336 ("spadesuit" "\\spadesuit" t "♠" "[spades]" "[spades]" "♠") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
337 ("clubs" "\\clubsuit" t "♣" "[clubs]" "[clubs]" "♣") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
338 ("clubsuit" "\\clubsuit" t "♣" "[clubs]" "[clubs]" "♣") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
339 ("hearts" "\\heartsuit" t "♥" "[hearts]" "[hearts]" "♥") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
340 ("heartsuit" "\\heartsuit" t "♥" "[hearts]" "[hearts]" "♥") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
341 ("diamondsuit" "\\diamondsuit" t "♦" "[diamonds]" "[diamonds]" "♦") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
342 ("diams" "\\diamondsuit" t "♦" "[diamonds]" "[diamonds]" "♦") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
343 ("smile" "\\smile" t "☺" ":-)" ":-)" "⌣") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
344 ("blacksmile" "\\blacksmiley{}" nil "☻" ":-)" ":-)" "☻") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
345 ("sad" "\\frownie{}" nil "☹" ":-(" ":-(" "☹") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
346 ("quot" "\\textquotedbl{}" nil """ "\"" "\"" "\"") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
347 ("amp" "\\&" nil "&" "&" "&" "&") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
348 ("lt" "\\textless{}" nil "<" "<" "<" "<") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
349 ("gt" "\\textgreater{}" nil ">" ">" ">" ">") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
350 ("OElig" "\\OE{}" nil "Œ" "OE" "OE" "Œ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
351 ("oelig" "\\oe{}" nil "œ" "oe" "oe" "œ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
352 ("Scaron" "\\v{S}" nil "Š" "S" "S" "Š") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
353 ("scaron" "\\v{s}" nil "š" "s" "s" "š") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
354 ("Yuml" "\\\"{Y}" nil "Ÿ" "Y" "Y" "Ÿ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
355 ("circ" "\\circ" t "ˆ" "^" "^" "ˆ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
356 ("tilde" "\\~{}" nil "˜" "~" "~" "~") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
357 ("ensp" "\\hspace*{.5em}" nil " " " " " " " ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
358 ("emsp" "\\hspace*{1em}" nil " " " " " " " ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
359 ("thinsp" "\\hspace*{.2em}" nil " " " " " " " ") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
360 ("zwnj" "\\/{}" nil "‌" "" "" "") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
361 ("zwj" "" nil "‍" "" "" "") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
362 ("lrm" "" nil "‎" "" "" "") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
363 ("rlm" "" nil "‏" "" "" "") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
364 ("ndash" "--" nil "–" "-" "-" "–") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
365 ("mdash" "---" nil "—" "--" "--" "—") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
366 ("lsquo" "\\textquoteleft{}" nil "‘" "`" "`" "‘") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
367 ("rsquo" "\\textquoteright{}" nil "’" "'" "'" "’") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
368 ("sbquo" "\\quotesinglbase{}" nil "‚" "," "," "‚") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
369 ("ldquo" "\\textquotedblleft{}" nil "“" "\"" "\"" "“") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
370 ("rdquo" "\\textquotedblright{}" nil "”" "\"" "\"" "”") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
371 ("bdquo" "\\quotedblbase{}" nil "„" "\"" "\"" "„") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
372 ("dagger" "\\textdagger{}" nil "†" "[dagger]" "[dagger]" "†") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
373 ("Dagger" "\\textdaggerdbl{}" nil "‡" "[doubledagger]" "[doubledagger]" "‡") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
374 ("permil" "\\textperthousand{}" nil "‰" "per thousand" "per thousand" "‰") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
375 ("lsaquo" "\\guilsinglleft{}" nil "‹" "<" "<" "‹") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
376 ("rsaquo" "\\guilsinglright{}" nil "›" ">" ">" "›") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
377 ("euro" "\\texteuro{}" nil "€" "EUR" "EUR" "€") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
378 ("EUR" "\\EUR{}" nil "€" "EUR" "EUR" "€") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
379 ("EURdig" "\\EURdig{}" nil "€" "EUR" "EUR" "€") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
380 ("EURhv" "\\EURhv{}" nil "€" "EUR" "EUR" "€") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
381 ("EURcr" "\\EURcr{}" nil "€" "EUR" "EUR" "€") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
382 ("EURtm" "\\EURtm{}" nil "€" "EUR" "EUR" "€") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
383 ("arccos" "\\arccos" t "arccos" "arccos" "arccos" "arccos") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
384 ("arcsin" "\\arcsin" t "arcsin" "arcsin" "arcsin" "arcsin") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
385 ("arctan" "\\arctan" t "arctan" "arctan" "arctan" "arctan") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
386 ("arg" "\\arg" t "arg" "arg" "arg" "arg") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
387 ("cos" "\\cos" t "cos" "cos" "cos" "cos") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
388 ("cosh" "\\cosh" t "cosh" "cosh" "cosh" "cosh") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
389 ("cot" "\\cot" t "cot" "cot" "cot" "cot") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
390 ("coth" "\\coth" t "coth" "coth" "coth" "coth") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
391 ("csc" "\\csc" t "csc" "csc" "csc" "csc") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
392 ("deg" "\\deg" t "°" "deg" "deg" "deg") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
393 ("det" "\\det" t "det" "det" "det" "det") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
394 ("dim" "\\dim" t "dim" "dim" "dim" "dim") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
395 ("exp" "\\exp" t "exp" "exp" "exp" "exp") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
396 ("gcd" "\\gcd" t "gcd" "gcd" "gcd" "gcd") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
397 ("hom" "\\hom" t "hom" "hom" "hom" "hom") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
398 ("inf" "\\inf" t "inf" "inf" "inf" "inf") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
399 ("ker" "\\ker" t "ker" "ker" "ker" "ker") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
400 ("lg" "\\lg" t "lg" "lg" "lg" "lg") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
401 ("lim" "\\lim" t "lim" "lim" "lim" "lim") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
402 ("liminf" "\\liminf" t "liminf" "liminf" "liminf" "liminf") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
403 ("limsup" "\\limsup" t "limsup" "limsup" "limsup" "limsup") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
404 ("ln" "\\ln" t "ln" "ln" "ln" "ln") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
405 ("log" "\\log" t "log" "log" "log" "log") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
406 ("max" "\\max" t "max" "max" "max" "max") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
407 ("min" "\\min" t "min" "min" "min" "min") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
408 ("Pr" "\\Pr" t "Pr" "Pr" "Pr" "Pr") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
409 ("sec" "\\sec" t "sec" "sec" "sec" "sec") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
410 ("sin" "\\sin" t "sin" "sin" "sin" "sin") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
411 ("sinh" "\\sinh" t "sinh" "sinh" "sinh" "sinh") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
412 ("sup" "\\sup" t "⊃" "sup" "sup" "sup") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
413 ("tan" "\\tan" t "tan" "tan" "tan" "tan") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
414 ("tanh" "\\tanh" t "tanh" "tanh" "tanh" "tanh") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
415 ("frac12" "\\textonehalf{}" nil "½" "1/2" "½" "½") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
416 ("frac14" "\\textonequarter{}" nil "¼" "1/4" "¼" "¼") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
417 ("frac34" "\\textthreequarters{}" nil "¾" "3/4" "¾" "¾") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
418 ("div" "\\textdiv{}" nil "÷" "/" "÷" "÷") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
419 ("acute" "\\textasciiacute{}" nil "´" "'" "´" "´") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
420 ("nsup" "\\not\\supset" t "⊅" "[not a superset of]" "[not a superset of]" "⊅") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
421 ("smiley" "\\smiley{}" nil "☺" ":-)" ":-)" "☺") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
422 ) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
423 "Default entities used in Org-mode to preduce special characters. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
424 For details see `org-entities-user'.") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
425 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
426 (defsubst org-entity-get (name) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
427 "Get the proper association for NAME from the entity lists. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
428 This first checks the user list, then the built-in list." |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
429 (or (assoc name org-entities-user) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
430 (assoc name org-entities))) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
431 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
432 (defun org-entity-get-representation (name kind) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
433 "Get the correct representation of entity NAME for export type KIND. |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
434 Kind can be any of `latex', `html', `ascii', `latin1', or `utf8'." |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
435 (let* ((e (org-entity-get name)) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
436 (n (cdr (assq kind '((latex . 1) (html . 3) (ascii . 4) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
437 (latin1 . 5) (utf8 . 6))))) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
438 (r (and e n (nth n e)))) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
439 (if (and e r |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
440 (not org-entities-ascii-explanatory) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
441 (memq kind '(ascii latin1 utf8)) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
442 (= (string-to-char r) ?\[)) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
443 (concat "\\" name) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
444 r))) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
445 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
446 (defsubst org-entity-latex-math-p (name) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
447 "Does entity NAME require math mode in LaTeX?" |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
448 (nth 2 (org-entity-get name))) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
449 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
450 ;; Helpfunctions to create a table for orgmode.org/worg/org-symbols.org |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
451 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
452 (defun org-entities-create-table () |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
453 "Create an org-mode table with all entities." |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
454 (interactive) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
455 (let ((ll org-entities) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
456 (pos (point)) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
457 e latex mathp html latin utf8 name ascii) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
458 (insert "|Name|LaTeX code|LaTeX|HTML code |HTML|ASCII|Latin1|UTF-8\n|-\n") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
459 (while ll |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
460 (setq e (pop ll)) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
461 (setq name (car e) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
462 latex (nth 1 e) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
463 mathp (nth 2 e) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
464 html (nth 3 e) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
465 ascii (nth 4 e) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
466 latin (nth 5 e) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
467 utf8 (nth 6 e)) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
468 (if (equal ascii "|") (setq ascii "\\vert")) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
469 (if (equal latin "|") (setq latin "\\vert")) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
470 (if (equal utf8 "|") (setq utf8 "\\vert")) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
471 (if (equal ascii "=>") (setq ascii "= >")) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
472 (if (equal latin "=>") (setq latin "= >")) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
473 (insert "|" name |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
474 "|" (format "=%s=" latex) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
475 "|" (format (if mathp "$%s$" "$\\mbox{%s}$") |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
476 latex) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
477 "|" (format "=%s=" html) "|" html |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
478 "|" ascii "|" latin "|" utf8 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
479 "|\n")) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
480 (goto-char pos) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
481 (org-table-align))) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
482 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
483 (defun replace-amp () |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
484 "Postprocess HTML file to unescape the ampersant." |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
485 (interactive) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
486 (while (re-search-forward "<td>&\\([^<;]+;\\)" nil t) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
487 (replace-match (concat "<td>&" (match-string 1)) t t))) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
488 |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
489 (provide 'org-entities) |
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
490 |
109034
3bd67aa6b7e2
* lisp/org/org-entities.el: Add explicit utf-8 coding cookie.
Glenn Morris <rgm@gnu.org>
parents:
107863
diff
changeset
|
491 ;; Local variables: |
3bd67aa6b7e2
* lisp/org/org-entities.el: Add explicit utf-8 coding cookie.
Glenn Morris <rgm@gnu.org>
parents:
107863
diff
changeset
|
492 ;; coding: utf-8 |
3bd67aa6b7e2
* lisp/org/org-entities.el: Add explicit utf-8 coding cookie.
Glenn Morris <rgm@gnu.org>
parents:
107863
diff
changeset
|
493 ;; End: |
107863
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
494 |
109034
3bd67aa6b7e2
* lisp/org/org-entities.el: Add explicit utf-8 coding cookie.
Glenn Morris <rgm@gnu.org>
parents:
107863
diff
changeset
|
495 ;; arch-tag: e6bd163f-7419-4009-9c93-a74623016424 |
107863
594e81986a75
2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff
changeset
|
496 ;;; org-entities.el ends here |