Add overline,underline and under-overline

Overline for e.g. NOT in boolean algebra. Underline and under-overline for completeness