def apply(): return newTextualGLStack(colors.applyColor, ".")
def holds(): return newTextualGLStack(colors.applyColor, ":")
def iff(): return newTextualGLStack(colors.iffColor, "<==>")