X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=development%2Ftools%2Fx-font;h=c78dd4f606d19861ffb78a5f4a1c56792986cce5;hb=69036ced3765f40048d62be800c98af3ea2d1b4a;hp=43bdef7890d4706f0e5c0a969d9bdd9284b1d350;hpb=0cf717d0c8ba3d766acb45c3adfcc0de1f3b79db;p=lyx.git

diff --git a/development/tools/x-font b/development/tools/x-font
index 43bdef7890..c78dd4f606 100644
--- a/development/tools/x-font
+++ b/development/tools/x-font
@@ -2,6 +2,7 @@ forall         22
 sharp          23
 exists         24
 ni             27
+colon          3a
 cong           40
 Delta          44
 Phi            46