view etc/nxml/027C0-027EF.el @ 112380:aa1e27e3a554

Revert changes adding format args to yes-or-no-p and y-or-n-p. See discussion on emacs-devel at http://lists.gnu.org/archive/html/emacs-devel/2011-01/msg00388.html * src/fns.c (Fyes_or_no_p): Revert 2011-01-07 change, removing ARGS. * lisp/subr.el (y-or-n-p): Revert 2011-01-07 change, removing ARGS. * lisp/files.el (find-alternate-file, basic-save-buffer) (basic-save-buffer-2, revert-buffer, recover-file) (kill-buffer-ask, abort-if-file-too-large) (set-visited-file-name, write-file, backup-buffer) (basic-save-buffer, save-some-buffers): * lisp/dired-aux.el (dired-compress-file): Callers changed.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 19 Jan 2011 21:55:36 -0500
parents ef719132ddfa
children
line wrap: on
line source

(nxml-define-char-name-set 'miscellaneous-mathematical-symbols-a
  '(("WHITE DIAMOND WITH CENTRED DOT" #x27D0)
    ("AND WITH DOT" #x27D1)
    ("ELEMENT OF OPENING UPWARDS" #x27D2)
    ("LOWER RIGHT CORNER WITH DOT" #x27D3)
    ("UPPER LEFT CORNER WITH DOT" #x27D4)
    ("LEFT OUTER JOIN" #x27D5)
    ("RIGHT OUTER JOIN" #x27D6)
    ("FULL OUTER JOIN" #x27D7)
    ("LARGE UP TACK" #x27D8)
    ("LARGE DOWN TACK" #x27D9)
    ("LEFT AND RIGHT DOUBLE TURNSTILE" #x27DA)
    ("LEFT AND RIGHT TACK" #x27DB)
    ("LEFT MULTIMAP" #x27DC)
    ("LONG RIGHT TACK" #x27DD)
    ("LONG LEFT TACK" #x27DE)
    ("UP TACK WITH CIRCLE ABOVE" #x27DF)
    ("LOZENGE DIVIDED BY HORIZONTAL RULE" #x27E0)
    ("WHITE CONCAVE-SIDED DIAMOND" #x27E1)
    ("WHITE CONCAVE-SIDED DIAMOND WITH LEFTWARDS TICK" #x27E2)
    ("WHITE CONCAVE-SIDED DIAMOND WITH RIGHTWARDS TICK" #x27E3)
    ("WHITE SQUARE WITH LEFTWARDS TICK" #x27E4)
    ("WHITE SQUARE WITH RIGHTWARDS TICK" #x27E5)
    ("MATHEMATICAL LEFT WHITE SQUARE BRACKET" #x27E6)
    ("MATHEMATICAL RIGHT WHITE SQUARE BRACKET" #x27E7)
    ("MATHEMATICAL LEFT ANGLE BRACKET" #x27E8)
    ("MATHEMATICAL RIGHT ANGLE BRACKET" #x27E9)
    ("MATHEMATICAL LEFT DOUBLE ANGLE BRACKET" #x27EA)
    ("MATHEMATICAL RIGHT DOUBLE ANGLE BRACKET" #x27EB)
    ))