Mathematical notation | Logic symbols | Mathematical symbols

Up tack

The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent: * The truth value 'false', or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum"). * The bottom element in wheel theory and lattice theory, which also represents absurdum when used for logical semantics * The bottom type in type theory, which is the bottom element in the subtype relation. This may coincide with the empty type, which represents absurdum under the Curry–Howard correspondence as well as * Mixed radix decoding in the APL programming language The glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse). Tee plays a complementary or dual role in many of these theories. The similar-looking perpendicular symbol (⟂, \perp in LaTeX, U+27C2 in Unicode) is a binary relation symbol used to represent: * Perpendicularity of lines in geometry * Orthogonality in linear algebra * Independence of random variables in probability theory * Coprimality in number theory The double tack up symbol (⫫, U+2AEB in Unicode) is a constant symbol used to represent: * Conditional independence of random variables in probability theory (Wikipedia).

Video thumbnail

呼叫魚

好恐佈,咁都食得落口

From playlist Crazy Stuff

Video thumbnail

PCB Wall

What to do with all those old PCBs from stuff you've taken apart...

From playlist Projects & Installations

Video thumbnail

How to manage quiz grades

Will show you how to view, override, import and export quiz grades and feedback

From playlist How to add quizzes in Moodle

Video thumbnail

I'm going out

I'm going out Right out. Well, quite a way out. Makes a change from zooming in, right? Oh, I've got sandwiches too. Either way, it's just more testing. I mostly just liked the way the light creates a metal-like surface at times.

From playlist Nerdy Rodent Uploads!

Video thumbnail

Gate to open inward uphill 2

Thanks to violet face cam the gate panel is raised when open, thus it does not collide with the uphill ground. This mechanism is suitable for case when the gate is not too wide and the ground is not too uphill (for easy raising the gate panel). STEP files: http://www.mediafire.com/file/vu

From playlist Thang best animations

Video thumbnail

Ratchet mechanism 34

Orange roller allows green round rack to move up and prevents it from falling. STEP files of this video: https://www.mediafire.com/file/yyl2d67atw52qnj/RatchetMechanism34STEP.zip/file Inventor files of this video: https://www.mediafire.com/file/32acxjdnvtgjwjr/RatchetMechanism34Inv.zip/f

From playlist Mechanisms

Video thumbnail

I clicked on a clickbait title when all I wanted to do was relax...

This video has it all. Clickbait title. Fully delivers the relaxation. Just sit back and enjoy maths happening in front of you, without you having to think about it.

From playlist Nerdy Rodent Uploads!

Video thumbnail

Down East Dickering: Dickering a Deal | History

The Season 2 cast members describe the art of dickering and the skills that are needed to make a deal work. Subscribe for more Down East Dickering: http://histv.co/SubscribeHistoryYT Check out exclusive Down East Dickering videos and full episodes: http://www.history.com/shows/down-east-

From playlist Down East Dickering: Season 2 | History

Video thumbnail

How explained Slinky down stairs!!!

In this video i show and explained slinky move down stairs!

From playlist MECHANICS

Video thumbnail

The Wolfram Language in a Sailboat Racing Telemetry System

To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technology-conference/ Speaker: Todd Gayley Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices, and m

From playlist Wolfram Technology Conference 2017

Video thumbnail

Peripheral Nervous System: Crash Course Anatomy & Physiology #12

It is now time to meet the system that helps your brain stay in touch with the outside world. We follow up last week's tour of the central nervous system with a look at your peripheral nervous system, its afferent and efferent divisions, how it processes information, the reflex arc, and wh

From playlist Anatomy & Physiology

Video thumbnail

EEVblog #186 - Soldering Tutorial Part 3 - Surface Mount

PART 1: http://www.youtube.com/watch?v=J5Sb21qbpEQ PART 2: http://www.youtube.com/watch?v=fYz5nIHH0iY Part 3 of the hand soldering tutorial. This time Dave shows you how to drag solder and tack & reflow SMD components, and in particular 0.5mm fine pitch IC's. Including solder paste and hot

From playlist Soldering

Video thumbnail

How to TIG weld aluminum beverage cans together

I show how to weld aluminum cans together with a cheap import TIG welder. I am not a professional welder, so some of my advice may be unconventional or even wrong, but these methods work well for me. With a 3/32" electrode and large gas lens, I don't have to change the torch setup for ne

From playlist Tutorials

Video thumbnail

Ses. 1-3: Lean Thinking: Part II

MIT 16.660J Introduction to Lean Six Sigma Methods, IAP 2012 View the complete course: http://ocw.mit.edu/16-660JIAP12 Instructor: Hugh McManus This session covers the second half of the Lean thinking behind value, value stream, flow, pull and perfection. Students complete an in class exe

From playlist MIT 16.660J / ESD.62J / 16.853 Introduction to Lean Six Sigma Methods, IAP 2012

Video thumbnail

1D convolution for neural networks, part 8: Padding

Part of an 9-part series on 1D convolution for neural networks. Catch the rest at https://e2eml.school/321

From playlist E2EML 321. Convolution in One Dimension for Neural Networks

Video thumbnail

Graph Theory: 28. Hamiltonian Graph Problems

Here I give solutions to these three problems posed in the previous video: 1. Show that the complete bipartite graph with partite sets of size n and m is Hamiltonian if and only if n and m are equal and greater than or equal to 2. 2. Find a connected graph that has no Hamilton path. 3. Can

From playlist Graph Theory part-6

Video thumbnail

RailsConf 2017: Reporting on Rails - ActiveRecord and ROLAP Working Together by Tony Drake

RailsConf 2017: Reporting on Rails - ActiveRecord and ROLAP Working Together by Tony Drake It'll happen eventually. Someone will come down with a feature request for your app to "create dashboards and reporting on our data". So how do you go about doing it? What parts of your database sho

From playlist RailsConf 2017

Video thumbnail

Having fun with angular momentum! | Live Experiments (Ep 15) | Head Squeeze

Jon Chase explains that angular momentum is what makes a spinning top, a bicycle wheel or an ice skater spin on an axis. He also shows how manipulating the different factors involved can conserve angular momentum, and make a spinning object more steady and spin for longer. More on angula

From playlist Live Experiments - do try this at home!

Video thumbnail

Hello LaTeX

In this video, we take a look at how you can quickly create the LaTeX logo on overleaf.

From playlist Tech Ideas

Video thumbnail

Select Movies with Python - Web Scraping Tutorial

Welcome to a fun little Python Tutorial! Scrape the IMDb Top 250 movies and let Python choose a movie for you! Learn how to use requests and BeautifulSoup to scrape websites. ~~~~~~~~~~~~~~ GREAT PLUGINS FOR YOUR CODE EDITOR ~~~~~~~~~~~~~~ ✅ Write cleaner code with Sourcery: https://sourc

From playlist Fun Python Projects

Related pages

Perpendicular | Truth value | Linear algebra | False (logic) | Independence (probability theory) | Plus and minus signs | LaTeX | Mathematical operators and symbols in Unicode | Wheel theory | Tee (symbol) | Bottom type | Symbol (formal) | Curry–Howard correspondence | Empty type | Mixed radix | Orthogonality | Number theory | Conditional independence | Type theory | Probability theory | Geometry