Plugin: Lexicon#
The Lexicon plugin contains additional symbols, relations and operators and their definitions. This plugin provides an expanded vocabulary.
Notation#
Constants#
σis used to represent delimiters, i.e. spaces.εis used to represent null characters.
Variables#
These are general guidelines.
x,yandzare general variables.πis used to represent indeterminate syllables, i.e. syllabe variables.ιis used to represent indeterminate characters, i.e. character variables.αis used to represent indeterminate words, i.e. word variables..ζis used to represent indeterminant sentences, i.e. sentence variables.p,qandrare reserved for propositional variables.nandmare reserved for numerical variables.sandtare reserved for string variables.
Lowercase letters a, b, c, ... generally denote elements and uppercase letters A, B, C, ... generally denote sets. It should be clear from context when this convention is not applied.
Indexing#
Character Indexing For a string
x,x[i]refers to the character at the i:sup:th index, where the first character in a string is indexed at 0, e.g'hello'[2] = 'l'.Word Indexing For a sentence
ζ,ζ{i}refers to the word at the i:sup:th index, where the first word in a sentence is indexed at 0, e.g.'hello person how are you'{2} = 'how'.
Sets#
Language The symbol
Lrefers to the set of all words in a language. If a language other than English is intended, it will be included in a subscript, e.g. L:sub:spanish.Corpus The symbol
C:sub:Lrefers to the set of all sentences in a languageL.Metric Words The symbol
M:sub:Srefers to the set of all words that satisfy the syllabic patternS, whereSis a concatenated sequence of syllabic stresses such that+means stressed and-means unstressed. For example,M:sub:-+refers to the set of all iambic words.Reflective Words The symbol
Rrefers to the set of all reflective words, i.e. words that are spelled the same forwards as backwards. Mathematically, ifα[i]stands for the i:sup:th character in wordα, then a reflective word is defined as the words which satisfy the relationα[i] = α[l(α)-i-1]. For example,nunis a reflective word.Invertible Words The symbol
Irefers to the set of invertible words. Mathematically,Iis the set of wordαthat satisfy the definition,α ∈ I ↔ inv(α) \in L. For example,timeis invertible word becauseinv(time) = emitandemit ∈ Lwhereashellois not invertible becauseinv(hello) = ollehandolleh ∉ L.Palindromes The symbol P refers to the set of palindromes. Mathematically, a string
xis palindromic if it satisfies the definitionx ∈ P ↔ (ς(x) = inv(ς(x))). For example,borrow or robis a palindrome becauseς(borrow or rob) = inv(ς(borrow or rob)) = borroworrob.
Relations#
Rhymes The geometric symbol for the relation of parallel
∥ (U+2225)is used to mean “rhymes with” in the context of linguistics.Synonymity and Antonymity The logical equivalence symbol
≡ (U+2261)is used to mean “has an equivalent meaning” in the context of linguistics. The logical nonequivalence symbol≢ (U+2262)is used to mean “has an opposite meaning” in the context of linguistic.≡can be thought of as an extension of the relation of “synonym”. For example, “car” and “automobile” satisfy this relation, but even more complex sentences like “Venus is the Morning Star” and “Venus is the Evening Star” are equivalent. Taken to the extreme, “The man bought a sandwich” and “The sandwich, after being meticulously assembled by the delicatessen employee, was purchased by the man” are both linguistic objects that satisfy this relation.≢can be thought of as an extension of the relation of “antonym”. For example, “big” and “small” satisfy this relation, but even more complex sentences like “A bird flying high” and “a fish swimming deep” satisfy this relation.
Hypernymity and Hyponymity The left bowtie symbol
⋉ (U+22C9)is used to represent the relation of hyponymity and the right bowtie symbol is used to represent the relation of hypernymity⋊ (U+22CA). For example,man ⋉ animalandmotion ⋊ running. Note that the relations of hyponymity and hypernymity are converses of one another, i.e.x ⋉ yif and only ify ⋊ x.
Operations#
String Length The number of characters in a string
xis denotedl(x).Word Length The number of non-overlapping words in a string
xis denotedw(x).String Inversion A string inversion,
inv(x), is an operation that reverses the order of characters in a string, e.g.inv(hello) = olleh.String Reduction A string reduction,
ς(x), is an operation that removes all delimiters from a string, but preserves the relative order of characters, e.g.ς(hello gemini how are you) = hellogeminihowareyou.Selection A selection,
[λx: f(x)], is understood to be any single indeterminate elementxthat satisfiesf(x). In other words,[λx: f(x)]is a single object, not a set. For example,[λx: x ∈ M:sub:+-]refers to an iambic word, e.g.import.Concatenation For any two strings
xandy, their concatenation is writtenxy. The operands of concatenation are often grouped with brackets, e.g.xy = [x][y].Succession For any two strings
xandy, their succession, denoted,x.yis to mean the literal transcription of the strings on separate new lines. Exponents are used as shorthand for denoting multiple successions, e.g.line(x).line(x) = line(x)^2Separation For any two strings
xandy, their separation, denoatedx + yis to meant the literal transcriptions of the strings on separate new lines with a blank line in between them (i.e., separation creates stanzas). Summations are used as shorthand for denoting multiple separations,Σ:sub:`1`:sup`n` x.ydenotesnstanzas of couplets (two lines).