Latex congruent mod symbol. You can use Java's remainder operator %.