From 9b4bd86c6fab5d26914ac0b0761ca4a3b1929b37 Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Tue, 12 May 2015 09:12:56 +0000 Subject: [PATCH] Homoglyphs for : --- main/math/semantics/man-semantics-symbols.en.tm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/main/math/semantics/man-semantics-symbols.en.tm b/main/math/semantics/man-semantics-symbols.en.tm index 6e4fb5c..f6a5ee0 100644 --- a/main/math/semantics/man-semantics-symbols.en.tm +++ b/main/math/semantics/man-semantics-symbols.en.tm @@ -83,7 +83,9 @@ point>>|>||x\x>>|>|>|>>|\\>>|>|>|>>|+1>>|>|>|>|>|>|>|>|>|E:P|}>>>|>|>>|>>|>>|>|>>|>>|11=11>>|>|>|>|>|>|>|>|>=\\>>|>|>|>>|2=2>>|>|>|>>|x\\y>>|