The following bit-vector operations apply to integer arguments only. Supplying non-integer arguments results in an exception being raised. Note that the slant lines used in these operator names are produced with the forward and backward slash keys.

`X``/\`

`Y`- Evaluates to the bitwise conjunction of
`X`and`Y`. `X``\/`

`Y`- Evaluates to the bitwise disjunction of
`X`and`Y`. `\`

`(X,Y)`- Evaluates to the bitwise xor of
`X`and`Y`. Note that this is not an operator. `\ (`

`X``)`

- Evaluates to the complement of the bits in
`X`. `X``<<`

`Y``X`is shifted left`Y`places. Equivalent to`X``<< (`

`Y``/\ 2'11111)`

.`X``>>`

`Y``X`is shifted right`Y`places with sign extension.