In reply to ben@SystemVerilog.us:
- ↔ is logical (non-zero or zero true/false) ; == is bitwise or full value comparison (does not matter in this example)
- ↔ has much lower precedence than ==. Using == in this example would require adding parenthesis
- ↔ has right associatively, == has left.