The name of the notation to define
The first side to get a border
The second side to get a border
The notation definition for the notation having lines on two sides
The name of the notation to define