Use of the 'implies' MathML in initial assignments. 01274 Component Tags: InitialAssignment, Parameter, Test Tags: InitialValueReassigned, L3v2MathML, Expected Result