Chapter 10 - Cancellation
| Verbose | Brief | Super-Brief | |
|---|---|---|---|
| Cancellation | |||
| Cancel | |||
| Begin | Cross Out | Cross Out | Cross Out |
| Cancelled By | With | With | With |
| End | End Cross Out | End Cross Out | End Cross Out |
Rule 10.1 - ID: cancel_SIM1
Applies To
Expressions that are crossed out.
Description
Expressions that have one or more lines crossing it horizontally or diagonally are denoted by cancellation indicators before and after the expression.
Example 1cancel_SIM1-05
|
verbose |
StartFraction
5 x CrossOut
y EndCrossOut
Over
2 CrossOut
y EndCrossOut
EndFraction
equals five-halves x |
 |
|
brief |
StartFrac
5 x CrossOut
y EndCrossOut
Over
2 CrossOut
y EndCrossOut
EndFrac
equals five-halves x |
|
|
superbrief |
Frac
5 x CrossOut
y EndCrossOut
Over
2 CrossOut
y EndCrossOut
EndFrac
equals five-halves x |
|
Rule 10.2 - ID: cancel_MOD1
Applies To
Crossed out expressions that are replaced with another expression above or below.
Description
Example 1cancel_MOD1-05
|
verbose |
StartFraction
12 Over
18 EndFraction
equals StartFraction
CrossOut
12 With
2 EndCrossOut
Over
CrossOut
18 With
3 EndCrossOut
EndFraction
equals two-thirds |
|
|
brief |
StartFrac
12 Over
18 EndFrac
equals StartFrac
CrossOut
12 With
2 EndCrossOut
Over
CrossOut
18 With
3 EndCrossOut
EndFrac
equals two-thirds |
|
|
superbrief |
Frac
12 Over
18 EndFrac
equals Frac
CrossOut
12 With
2 EndCrossOut
Over
CrossOut
18 With
3 EndCrossOut
EndFrac
equals two-thirds |
|