use bigcap instead of cap
use overline instead of bar