Hi, new here but I see the people are very helpful, hoping I can take advantage of that. Does anyone recognize the symbols ⊃, ≡, |, |–, –||–, |=, =||= ?? They are logical connectives, just different than the ones I know. Help would be greatly appreciated as soon as possible. Thank you.