for a, b being Element of Benzene st a = 3 \ 2 & b = 2 holds
a "\/" b = 3