Down tack with a circle below, read as necessarily satisfies in modal logic.
U+2AF0VERTICAL LINE WITH CIRCLE BELOWU+2AF2PARALLEL WITH HORIZONTAL STROKEU+2AEFVERTICAL LINE WITH CIRCLE ABOVEU+2AF3PARALLEL WITH TILDE OPERATORU+2AEEDOES NOT DIVIDE WITH REVERSED NEGATION SLASHU+2AF4TRIPLE VERTICAL BAR BINARY RELATIONU+2AEDREVERSED DOUBLE STROKE NOT SIGNU+2AF5TRIPLE VERTICAL BAR WITH HORIZONTAL STROKEU+2AECDOUBLE STROKE NOT SIGNU+2AF6TRIPLE COLON OPERATORU+2AEBDOUBLE UP TACKU+2AF7TRIPLE NESTED LESS-THAN256 characters in the Supplemental Mathematical Operators Unicode block, from number 242.
U+2AF1DOWN TACK WITH CIRCLE BELOWU+2AF2PARALLEL WITH HORIZONTAL STROKEU+2AF3PARALLEL WITH TILDE OPERATORU+2AF4TRIPLE VERTICAL BAR BINARY RELATIONU+2AF5TRIPLE VERTICAL BAR WITH HORIZONTAL STROKEU+2AF6TRIPLE COLON OPERATORU+2AF7TRIPLE NESTED LESS-THANU+2AF8TRIPLE NESTED GREATER-THANU+2AF9DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TOU+2AFADOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TOU+2AFBTRIPLE SOLIDUS BINARY RELATIONU+2AFCLARGE TRIPLE VERTICAL BAR OPERATORU+2AFDDOUBLE SOLIDUS OPERATORU+2AFEWHITE VERTICAL BARU+2AFFN-ARY WHITE VERTICAL BAR