HomeSymbolsmathdoes not prove

does not prove

Try it in the Studio

Code points: U+22AC
Browse by category: math

Details

Code points: U+22AC
Copy HTML entity: ⊬
Browse by category: math
Subcategory: math

Names

ar: لا يبرهن
en: does not prove

Related

left-pointing curved angle bracket right-pointing curved angle bracket tiny miny n-ary circled dot operator n-ary circled plus operator n-ary circled times operator n-ary union operator with dot n-ary union operator with plus n-ary square intersection operator n-ary square union operator two logical and operator