query: "Such that" symbol in logic
positive_passages.docid: 150171
positive_passages.text: Symbol for “such that” (not in set)
negative_passages.docid: 111357
negative_passages.text: The use of “So X as to be Y”
negative_passages.docid: 146914
negative_passages.text: What the symbol || means in electronics
negative_passages.docid: 101741
negative_passages.text: Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory?
negative_passages.docid: 103112
negative_passages.text: Does the existential quantifier distribute over an implication?
negative_passages.docid: 52736
negative_passages.text: analysis for "such as"
negative_passages.docid: 50685
negative_passages.text: "Assume that A = B" subjunctive?
negative_passages.docid: 103483
negative_passages.text: How can this English sentence be translated into a logical expression? ( Translating " unless")
negative_passages.docid: 158016
negative_passages.text: Help understanding predicate logic question/proof
negative_passages.docid: 154711
negative_passages.text: Is there a difference between Therefor and Therefore?
negative_passages.docid: 111862
negative_passages.text: Proof for sequent (Logic)
negative_passages.docid: 150451
negative_passages.text: Logic soundness and completeness
negative_passages.docid: 44285
negative_passages.text: What does this notation mean? F|U
negative_passages.docid: 156544
negative_passages.text: Usage of *what* for *that* or *than* in BrE
negative_passages.docid: 36726
negative_passages.text: How Implication or Material/Concrete Conditional works when the antecedent is false and the consequent is true
negative_passages.docid: 112742
negative_passages.text: \let\foo\bar vs \let\foo=\bar (let with equals sign)
negative_passages.docid: 155136
negative_passages.text: $x\in \{\{\{x\}\}\}$ or not?