A User Interface for a Mathematical System that Allows Ambiguous Formulae