1
0
mirror of https://github.com/rkd77/elinks.git synced 2024-11-04 08:17:17 -05:00

Reinsert part of comment for nVDash; fixes 8e0eda5e4d

This commit is contained in:
Jonas Fonseca 2006-01-03 23:38:37 +01:00 committed by Jonas Fonseca
parent 66cf866ab6
commit aa75cade23
2 changed files with 3 additions and 3 deletions

View File

@ -696,7 +696,7 @@ mnplus ISOtech 0x2213 # MINUS-OR-PLUS SIGN
models ISOamsr 0x22A7 # MODELS models ISOamsr 0x22A7 # MODELS
mu ISOgrk3 0x03BC # GREEK SMALL LETTER MU mu ISOgrk3 0x03BC # GREEK SMALL LETTER MU
mumap ISOamsa 0x22B8 # MULTIMAP mumap ISOamsa 0x22B8 # MULTIMAP
nVDash ISOamsn 0x22AF # NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT nVDash ISOamsn 0x22AF # NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNS
nVdash ISOamsn 0x22AE # DOES NOT FORCE nVdash ISOamsn 0x22AE # DOES NOT FORCE
nabla ISOtech 0x2207 # NABLA nabla ISOtech 0x2207 # NABLA
nacute ISOlat2 0x0144 # LATIN SMALL LETTER N WITH ACUTE nacute ISOlat2 0x0144 # LATIN SMALL LETTER N WITH ACUTE

View File

@ -651,7 +651,7 @@ struct entity { char *s; unicode_val_T c; } entities [1002] = {
{ "models", 0x22A7 }, /* MODELS */ { "models", 0x22A7 }, /* MODELS */
{ "mu", 0x03BC }, /* GREEK SMALL LETTER MU */ { "mu", 0x03BC }, /* GREEK SMALL LETTER MU */
{ "mumap", 0x22B8 }, /* MULTIMAP */ { "mumap", 0x22B8 }, /* MULTIMAP */
{ "nVDash", 0x22AF }, /* NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT */ { "nVDash", 0x22AF }, /* NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNS */
{ "nVdash", 0x22AE }, /* DOES NOT FORCE */ { "nVdash", 0x22AE }, /* DOES NOT FORCE */
{ "nabla", 0x2207 }, /* NABLA */ { "nabla", 0x2207 }, /* NABLA */
{ "nacute", 0x0144 }, /* LATIN SMALL LETTER N WITH ACUTE */ { "nacute", 0x0144 }, /* LATIN SMALL LETTER N WITH ACUTE */