Let ‘·’ be a symbol not in V. Then

Let ‘·’ be a symbol not in V. Then a rule

ผลลัพธ์ (ไทย) 1:

ให้ 'ลอก' สัญลักษณ์ใน V ไม่ได้ แล้วกฎ

ผลลัพธ์ (ไทย) 2:

Let '·' เป็นสัญลักษณ์ไม่ได้อยู่ในการปกครองของโวลต์นั้นได้

ผลลัพธ์ (ไทย) 3:

ให้ ' ด้วย ' เป็นสัญลักษณ์ไม่ได้วีแล้ว กฎ