Representation of AND & between symbolic vars

[baggepinnen]

@variables t fault(t)
fault & timeInState() >= 1

ERROR: MethodError: no method matching &(::SymbolicUtils.BasicSymbolic{Real}, ::SymbolicUtils.BasicSymbolic{Real})

Closest candidates are:
  &(::Any, ::Any, ::Any, ::Any...)
   @ Base operators.jl:587

Stacktrace:
 [1] &(a::Num, b::Num)
   @ Symbolics ~/.julia/packages/Symbolics/7PRmF/src/num.jl:134
 [2] top-level scope
   @ REPL[40]:1

The same problem appears for |

[baggepinnen]

@variables t fault(t)::Bool

julia> fault & (timeInState() >= 1)
fault(t) & (timeInState() >= 1)

with the correct symtype and parenthesis it works