\equiv is the ASCII representation of the equivalence operator of logic (usually written as a triple-equal sign).