Featured image of post Hello world!

Hello world!

This article is pretty much saying hello and testing out all the formatting

Right, so where do I begin? Hello visitor!

Headings

H1

H2

H3

H4

H5
H6

Paragraph

Right, so here are just a few lines so that you’re able to gauge the feel of the paragraph.

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.

Code Highlighting

Playing around with code!

Blockquote without attribution

Ask and you shall receive.

Blockquote with attribution

“The shortest distance between two points is a straight line." — Timothy Chung1

Tables

Implication Connective

P Q P → Q
false false true
false true true
true false false
true true true

With support for Markdown formatting within:

Italics Bold Code
italics bold code

Ummm….

Inference Method Knowledge Base… …Inferences from KB Example Knowledge Base Example Inference with Explanation
Modus Ponens (a → b), a b If it’s raining, Harry is inside. It is raining. Harry is inside.
And Elimination a Ë„ b b Harry is friends with Ron and Hermione. Harry is friends with Hermione.
Double Negation Elimination ¬(¬a) a It’s untrue that I didn’t write this logic. I wrote this logic.
Implication Elimination a → b ¬ a ˅ b If it is raining, then Harry is inside. It is not raining or Harry is inside.
Biconditional Elimination a ⇔ b (a → b)(b → a) If and only if it is raining, then Ron is inside. If it is raining, then Ron is inside, and vice versa.
De Morgan’s Law ¬(a ˄ b) ¬a ˅ ¬b It’s untrue that Harry or Ron passed the test. Harry did not pass the test and Ron did not passed the test.
Distributive Property (a Ë„ (b Ë… c)) (a Ë„ b) Ë… (b Ë„ c) It rained today, Harry or Ron could be indoors. It rained and Harry was indoors, or it rained and Ron was indoors.
Distributive Property (a ˅ (b ˄ c)) (a ˅ b) ˄ (b ˅ c) It’s sunny today, or it rained and thundered. It’s sunny or raining today, and it’s sunny or thundering today.
Resolution 1 (p ˅ q), ¬p q Ron is in the Great Hall or Hermione is in the library. Ron is not in the Great Hall. Hermione is in the library.
Resolution 1 (extended) (p Ë… q1 Ë… q2 Ë……Ë… qn), ¬p q Ron is inside or Hermione is inside or Harry is inside or Hagrid is away. Ron is not inside. Hermione is inside or Harry is inside or Hagrid is away.
Resolution 2 (p Ë… q),(¬p Ë… r) q Ë… r Harry or Ron is in the Great Hall, Either Hermione is in the Great Hall or Harry isn’t there. Ron or Hermione must be in the Hall. (Think about it…Hermione must be in there, otherwise the lack of Harry means Ron should be there.)
Resolution 2 (extended) (p Ë… q1 Ë… q2 Ë……Ë… qn)), (¬p Ë… r1 Ë… r2 Ë……Ë… rn)) q1 Ë… q2 Ë……Ë… qn Ë… r1 Ë… r2 Ë……Ë… rn Harry or Ron or Dumbledore is in the Great Hall, Either Hermione or Hagrid is in the Great Hall or Harry isn’t there. Either Ron, Dumbledore, Hermione or Hagrid is in the Great Hall. Either Hermione or Hagrid is in the Great Hall or Harry isn’t there, so that means Ron or Dumbledore could be in the Great Hall too.
Empty Clause p, ¬p () [an empty clause with a false value] Harry is in the Great Hall and Harry is not inside the Great Hall. This entire sentence cannot be true because it contradicts itself.

Code Blocks

Code block with backticks

<!doctype html>
<html lang="en">
<head>
  <meta charset="utf-8">
  <title>Example HTML5 Document</title>
</head>
<body>
  <p>Test</p>
</body>
</html>

Code block indented with four spaces

<!doctype html>
<html lang="en">
<head>
  <meta charset="utf-8">
  <title>Example HTML5 Document</title>
</head>
<body>
  <p>Test</p>
</body>
</html>

Code block with Hugo’s internal highlight shortcode

<!doctype html>
<html lang="en">
<head>
  <meta charset="utf-8">
  <title>Example HTML5 Document</title>
</head>
<body>
  <p>Test</p>
</body>
</html>

List Types

Ordered List

  1. First item
  2. Second item
  3. Third item

Unordered List

  • List item
  • Another item
  • And another item

Nested list

  • Fruit
    • Apple
    • Orange
    • Banana
  • Dairy
    • Milk
    • Cheese

Unfinished Work — abbr, sub, sup, kbd, mark ARE NOT YET SUPPORTED.

GIF is a bitmap image format.

H2O

Xn + Yn = Zn

Press CTRL+ALT+Delete to end the session.

Most salamanders are nocturnal, and hunt for insects, worms, and other small creatures.

Maths

Block math: $$ \varphi = 1+\frac{1} {1+\frac{1} {1+\frac{1} {1+\cdots} } } $$

Experimental Emoji

Picture Arrangement Test

Photo by Florian Klauer on Unsplash
Photo by Florian Klauer on Unsplash
Photo by Luca Bravo on Unsplash
Photo by Luca Bravo on Unsplash

Photo by Helena Hertz on Unsplash
Photo by Helena Hertz on Unsplash
Photo by Hudai Gayiran on Unsplash
Photo by Hudai Gayiran on Unsplash

YouTube Privacy Enhanced Shortcode


  1. Quote taken from Epsom Leaver’s Book, 2021. Often used as a catchphrase by the author when taking a shortcut through the rain. ↩︎