This is the default set of precedences when you launch HimML:
infix 0 before
infix 3 o :=
infix 4 = <> < > <= >= #< #> #<= #>= inset inmap submap subset strless
infixr 5 @ O
infixr 5 ::
infix 6 + - ^ #+ #- ++ U <| <-| |> |->
infix 7 * div mod divmod #* #/ fdiv fmod fdivmod & \ delta intersects
infixr 8 #^
infix 9 nth to sub
Note that @
is declared infixr
, that is, right-associative,
although the Definition of Standard ML dictates that it is infix
,
i.e. left-associative. This should not make much differences.