^ יכול להיות כל שדה מספרים. השדה יהיה ההשלמה שלו במקוםסופי שלו, והשדה הסופי יהיה מנה של חוג השלמים באידיאל הראשוני המתאים. לדוגמה אפשר לקחת את ואז יהיה חוג השלמים של גאוס. אם רוצים ששני החיצים המקווקוים ייצגו העתקות אז צריך לבחור שדה שיש לו גם שיכונים ממשיים וגם מרוכבים, למשל .
^הסימבול יכול לסמן משתנה אחד או כל קבוצה סדורה היטב של משתנים. יש שיכון בין אובייקט המתאים לקבוצה של משתנים לבין אובייקט המתאים לקבוצה של משתנים המכילה את .