даже если это псевдокод или какая-то собственная математическая нотация
Ни то, ни другое. Это стандартная математическая нотация. Единственно, вместо знака равенства, в сравнении по модулю принято писать ≡, а также использовать скобки: [a/b] ≡ a (mod b).
AVKor, автор вопроса не разделяет вашего недовольства. Программирование здесь ни при чем, паскаль я упоминал, дабы не разъяснять значение оператора div. И "скорее", в данном контексте, является ни чем иным, как вводным словом и не несёт никакой смысловой нагрузки, а лишь связывает предложения.
Возможно, вопрос некорректно сформулирован. Я, лишь, попытался предположить, что автор хотел спросить на самом деле. Ответил я на его вопрос или нет, решать автору.
AVKor, D3lphy дал, как мне кажется, понятный ответ. По крайней мере, это именно то, что мне было нужно. Я ошибся в назначении операции mod, спутал ее с div (Если речь идет о паскале), поэтому его ответ был для меня исчерпывающим. К тому же, не смотря на то, что D3lphy не дал прямого ответа, из его объяснения можно легко понять, что выражение не верно.