Text this: Properties of the symmetric difference in lattices with complementation.