export Utilities.Notation