Testing Method:

There are various types of situations where extensibility mechanisms must be employed. These are:

• Both the CD and symbol are not recognized

• The symbol is not recognized

• The CD is not recognized

In these three cases, the translator must employ MathML <semantic> tags to preserve semantic meaning. We will introduce three expressions based on these three cases.