Use prime instead of overline