RULE XICANCELLATION
The following remains to be done before the examples on this page become a normative part of MathSpeak:
 The only settings that are significantly correct (more than 95% of the examples are considered correct) are:
Semantics={Off or Medium} and Explicitness=Off.  These examples can be harder to transcribe to Braille since the fractions are written "spatially" in Nemeth code. To resolve this we may either introduce a "Nemeth Code compatibility" mode or modify the Semantic Interpretation Off setting to make it easier for transcribing to Nemeth Code. Since this may be detrimental to those who do not use Nemeth Code, these changes will not affect the default MathSpeak, which has the Semantic Interpretation set to medium.
 The following examples may change in the future:
 Section 60 Example 1  the way the expression in the denominator is rendered.
 Section 60 Example 4  the way we convey long subtraction or long subtraction with crossed out numbers.
Cancellation Indicators
 Opening[
 Closing]
§60. Cancellation Indicators: The cancellation indicators must be used to show the extent of a mathematical expression which has been cancelled in ink print. A spatial arrangement must be used when cancellation is represented in braille. Whenever a fraction or any of its parts is canceled, a spatial arrangement must be used for that fraction. Items which are individually canceled in ink print must be represented as individually canceled in the transcription.
(1)
#1
[x]
?3333#
[x]y
;y
[x]
?3333#
[x]y
;y
verbose semantics 
StartFraction
CrossOut
x With
1 EndCrossOut
Over
StartLayout
1st Row
CrossOut
x EndCrossOut
y
2nd Row
y
EndLayout
EndFraction


(2)
#1
[5]
?3333# .k ?1/5#
[25]
#5
[5]
?3333# .k ?1/5#
[25]
#5
verbose semantics 
StartFraction
CrossOut
5 With
1 EndCrossOut
Over
CrossOut
25 With
5 EndCrossOut
EndFraction
equals onefifth 

(3)
[(x+y)]
?333333333333# .k ?1/y+z#
[(x+y)](y+z)
?333333333333# .k ?1/y+z#
[(x+y)](y+z)
(4)
8 9 9 12
[9][0][0][ 2]
 3 6 9 3
3333333333333333
5 3 0 9
[9][0][0][ 2]
 3 6 9 3
3333333333333333
5 3 0 9
(5)
[x][y]
?33333333#
[x][y]z
?33333333#
[x][y]z
verbose semantics 
StartFraction
CrossOut
x EndCrossOut
CrossOut
y EndCrossOut
Over
CrossOut
x EndCrossOut
CrossOut
y EndCrossOut
z EndFraction

