<Tr> <Td> top type the top type; top type theory </Td> <Td> ⊤ means the top or universal type; every type in the type system of interest is a subtype of top . </Td> <Td> ∀ types T, T <: ⊤ </Td> </Tr> <Tr> <Td> ⊥ </Td> <Td> ⊥ (\ displaystyle \ bot) \ bot </Td> <Td> perpendicular is perpendicular to geometry </Td> <Td> x ⊥ y means x is perpendicular to y; or more generally x is orthogonal to y . </Td> <Td> If l ⊥ m and m ⊥ n in the plane, then l n . </Td> </Tr> <Tr> <Td> orthogonal complement orthogonal / perpendicular complement of; perp linear algebra </Td> <Td> W means the orthogonal complement of W (where W is a subspace of the inner product space V), the set of all vectors in V orthogonal to every vector in W . </Td> <Td> Within R 3 (\ displaystyle \ mathbb (R) ^ (3)), (R 2) ⊥ ≅ R (\ displaystyle (\ mathbb (R) ^ (2)) ^ (\ perp) \ cong \ mathbb (R)). </Td> </Tr> <Tr> <Td> coprime is coprime to number theory </Td> <Td> x ⊥ y means x has no factor greater than 1 in common with y . </Td> <Td> 34 ⊥ 55 </Td> </Tr>

What does the symbol ^ mean in math