From 6ab8d2e54bde26945e499443ff59e24fc882977b Mon Sep 17 00:00:00 2001 From: Georg Baum Date: Thu, 10 Jan 2013 21:11:38 +0100 Subject: [PATCH] Add symbol I stumbled upon --- lib/unicodesymbols | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/unicodesymbols b/lib/unicodesymbols index 62dd5705ad..4030904e82 100644 --- a/lib/unicodesymbols +++ b/lib/unicodesymbols @@ -2234,7 +2234,7 @@ # # miscellaneous technical # -#0x2300 "" "" "" "" "" # DIAMETER SIGN +0x2300 "\\diameter" "wasysym" "" "\\diameter" "wasysym" # DIAMETER SIGN #0x2301 "" "" "" "" "" # ELECTRIC ARROW 0x2302 "{\\ascii\\DEL}" "ascii" "" # HOUSE #0x2303 "" "" "" "" "" # UP ARROWHEAD