Co może oznaczać pewien symbol matematyczny?

[J23]

Witam.

W zbiorze zadań z matematyki dla gimnazjum, w pierwszym rozdziale dotyczącym logiki, pojawia się pewien symbol matematyczny, którego znaczenia nie rozumiała nawet nauczycielka
Wygląda on tak: |

Przykładowo zadanie z logiki jest takie:
2 * 3 = 6 => 2|6 ^ 3|6

Czy to oznacza mniej więcej tyle:
jeżeli 2*3=6 to 2 jest dzielniekm 6 i 3 jest dzielnikiem 6?

Moim zdaniem może być tak:
| oznacza "jest dzielnikiem".

Czy dobrze kombinuję? - proszę o kilka porad w tej kwestii...
Kontakt gg:157139

[Zielony]

to co mówisz ma sens.....ale też się z tym nigdy nie spotkałem...swoją drogą co taki symbol robi u nas na klawiaturach? hmmmm

[półpasiec]

oznacza po prostu podzielnosc, np.
2|6 czytamy "dwa dzieli szesc"

[kej.ef]

Pomijając fakt, że ten znaczek pojawia sie w gimnazjum (ja tego w podstawowce nie widzialem, poznalem go dopiero w ogolniaku), to najbardziej mnie zdziwilo, ze Twoja nauczycielka nie wiedzial co to znaczy