Liczby parami różne - symbol matematyczny

Witam. Chcąc zapisać ciąg liczby, ktore są różne od siebie zawsze robiłem to w ten sposób:
(x1, x2, ..., xn) ^ x1, x2, ...., xn są parami różne (wybaczcie ten brzydki znak koniunkcji)
czy jest może jakiś ładny symbol matematyczny? Ze zbiorami mógłbym zapisać część wspólną równą 0, ale z liczbami...?

Może (nie jestem pewien czy to jest w pełni poprawne)

Ale przeważnie chyba pisze się po prostu tak jak to robisz, że liczby są parami różne.

Nie do końca jestem w stanie zrozumieć tej strzałki, ale nieco mnie olśniłeś i zapisałem to tak (załącznik). Faktycznie może lepiej pisać "parami rożne", z drugiej strony jednak tak ładnie to wygląda.. ; D

Pierwszy raz spotykam się z takim zapisem implikacji. W każdym razie dzięki za odpowiedź ; )

anonim4567 napisał(a):

Pierwszy raz spotykam się z takim zapisem implikacji. W każdym razie dzięki za odpowiedź ; )

Są 2 symbole implikacji:

• - oznacza implikację, ale w twierdzeniach. Słowem, że jest to pewnik.
• - oznacza implikację w założeniach. Zakładamy, że tak jest, ale nie mamy pewności (np. chcemy udowodnić twierdzenie).