From 89b4df8d9271303416ac7ce6d86f9be58f40540d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Theodor=20Ren=C3=A9=20Carlsen?=
 <36312737+TheodorRene@users.noreply.github.com>
Date: Tue, 11 Jan 2022 17:01:43 +0100
Subject: [PATCH] Add link to explanation when introducing a new operator

The logical implication operator is included in this section but never explained. It might stump new readers with a pretty uncommon operator, and it's never referenced explicitly.
---
 doc/manual/src/expressions/language-constructs.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/manual/src/expressions/language-constructs.md b/doc/manual/src/expressions/language-constructs.md
index cb0169239..c406b6910 100644
--- a/doc/manual/src/expressions/language-constructs.md
+++ b/doc/manual/src/expressions/language-constructs.md
@@ -276,6 +276,7 @@ stdenv.mkDerivation {
   ...
 }
 ```
+("->" is a boolean operation known as [logical implication](https://en.wikipedia.org/wiki/Truth_table#Logical_implication))
 
 The points of interest are: