Editing Bracket (section)

===Double brackets ⟦ ⟧<span class="anchor" id="Double brackets"></span>===
Double brackets (or white square brackets or [[Dana Scott|Scott]] brackets), ⟦&nbsp;⟧, are used to indicate the ''semantic evaluation function'' in [[formal semantics (linguistics)|formal semantics]] for natural language and [[denotational semantics]] for programming languages.<ref>Dowty, D., Wall, R. and Peters, S.: 1981, Introduction to Montague semantics, Springer.</ref><ref>{{cite book |last1=Scott |first1=D. |last2=Strachey |first2=C. |date=1971 |title=Toward a Mathematical Semantics for Computer Languages |publisher=Oxford University Computing Laboratory, Programming Research Group}}</ref>  In the [[Wolfram Language]], double brackets, either as iterated single brackets ({{not a typo|&lsqb;&lsqb;}}) or ligatures (〚) are used for [[Array index|list indexing]].<ref>{{cite web |publisher=Wolfram Research |title=Part, Wolfram Language function |work=Reference.Wolfram.com |date=2014 |orig-year=1988 |url= https://reference.wolfram.com/language/ref/Part.html |archive-url= https://web.archive.org/web/20230331205319/https://reference.wolfram.com/language/ref/Part.html |archive-date=31 March 2023 |quote=In StandardForm and InputForm, ''expr''{{brackets|''spec''}} can be input as ''expr''〚''spec''〛.}}</ref>

The brackets stand for a function that maps a linguistic expression to its "denotation" or semantic value. In mathematics, double brackets may also be used to denote [[Interval (mathematics)#Integer intervals|intervals of integers]] or, less often, the [[Floor and ceiling functions|floor function]]. In papyrology, following the [[Leiden Conventions]], they are used to enclose text that has been deleted in antiquity.<ref>{{Cite web |url= http://papyri.info/docs/leiden_plus#leiden-double-square-brackets-- |website=Papyri.info |title=Text Leiden+ Documentation |access-date=5 March 2020 |archive-date=24 February 2020 |archive-url= https://web.archive.org/web/20200224062541/http://papyri.info/docs/leiden_plus#leiden-double-square-brackets-- |url-status=live}}</ref>