From ab9dec04b651612dea02b9183706b6ec3debf509 Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Tue, 12 May 2015 08:49:27 +0000 Subject: [PATCH] Different convention for entering invisible operators --- .../semantics/man-semantics-symbols.en.tm | 31 +++++++------------ 1 file changed, 12 insertions(+), 19 deletions(-) diff --git a/main/math/semantics/man-semantics-symbols.en.tm b/main/math/semantics/man-semantics-symbols.en.tm index c38533d..6e4fb5c 100644 --- a/main/math/semantics/man-semantics-symbols.en.tm +++ b/main/math/semantics/man-semantics-symbols.en.tm @@ -1,6 +1,6 @@ - + - +> <\body> @@ -48,7 +48,7 @@ the increment +1>. An invisible bracket (mainly for internal use). A - matching pair of invisible brackets is entered using . + matching pair of invisible brackets is entered using . Again it is recommended that authors carefully enter these various @@ -68,20 +68,19 @@ the complete list of homoglyphs supported by . |||>|>||>|>|>||>|>|>||j>=ai>>>|>|>||>>|>|>||+1>>|>|>||\|\x,P|\>>>|>|>|>>||j>=ai>>>|>|>>||>>|>|>>||+1>>|>|>||\|\x,P|\>>>|>|>|>|=>>|>|>|>|\\|x\0|}>>>|>|>|>||aa|\>>>|>|>|>|1001>>|>|>|>|>>|>|>|>|456>>|>|>|>|>|>|>|>|x\x>>|>|>||>>|>|>||456>>|>|>||>|>|>||x\x>>|>|>|>>|\\>>|>|>|>>|+1>>|>|>|>|>|>| - - -<\initial> - <\collection> - - - \ No newline at end of file + \ No newline at end of file