Question

What is the mathematic symbol that means "need to show" or "trying to show"

Answer 1

example: a (insert symbol) 4

So it would kinda be like a=4, but instead of an "=" symbol, it is a different symbol. It's a situation where you can't assume "a" is equal to 4, but trying to show that it is.

Answer 2

Who told you there is such a symbol?

Answer 3

What's wrong with saying "We want to prove that a = 4"

Answer 4

A student in my class used it and I asked the teacher about it and they both said it represented "trying to show", or something like that

Answer 5

I guess there's nothing wrong with writing it out but it just seems quicker to use the mathematic symbol

Answer 6

I was just wondering if anybody knew it, because I forgot what it was

Answer 7

I never heard of such a symbol (and I wouldn't use it if there was one..:-)

Answer 8

It would be like the "reverse" of QED..

Answer 9

It exists somewhere out there... just wanna know what it is :)

Answer 10

I would also like to know what it is or better, if it exists (I have read a lot of proofs and never seen such a thing)

Answer 11

The only thing I can think of that they use in logic is a sideways T, like x |- y, meaning y is derivable from x (and another similar which means "entails")