Logical macros to avoid using \sim