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 
StartFraction
StartCancellation
x CancelledBy
1 EndCancellation
Over
StartLayout
1st Row
1st Column
StartCancellation
x EndCancellation
y
2nd Row
1st Column
y
EndLayout
EndFraction


(2)
#1
[5]
?3333# .k ?1/5#
[25]
#5
[5]
?3333# .k ?1/5#
[25]
#5
verbose 
StartFraction
StartCancellation
5 CancelledBy
1 EndCancellation
Over
StartCancellation
2 5 CancelledBy
5 EndCancellation
EndFraction
equals StartFraction
1 Over
5 EndFraction


(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 
StartFraction
StartCancellation
x EndCancellation
StartCancellation
y EndCancellation
Over
StartCancellation
x EndCancellation
StartCancellation
y EndCancellation
z EndFraction

