diff --git a/yash-syntax/Cargo.toml b/yash-syntax/Cargo.toml
index e6b19be7..59342b85 100644
--- a/yash-syntax/Cargo.toml
+++ b/yash-syntax/Cargo.toml
@@ -21,5 +21,6 @@ itertools = "0.11.0"
 thiserror = "1.0.47"
 
 [dev-dependencies]
+annotate-snippets = "0.10.0"
 assert_matches = "1.5.0"
 futures-executor = "0.3.28"
diff --git a/yash-syntax/src/source/pretty.rs b/yash-syntax/src/source/pretty.rs
index 74fd57db..4729977a 100644
--- a/yash-syntax/src/source/pretty.rs
+++ b/yash-syntax/src/source/pretty.rs
@@ -28,7 +28,33 @@
 //! like to use another formatter instead, you can provide your own conversion
 //! for yourself.
 //!
-//! TODO Elaborate
+//! ## Printing an error
+//!
+//! This example shows how to format an [`Error`](crate::parser::Error) instance
+//! into a human-readable string.
+//!
+//! ```
+//! # use yash_syntax::parser::{Error, ErrorCause, SyntaxError};
+//! # use yash_syntax::source::Location;
+//! # use yash_syntax::source::pretty::Message;
+//! let error = Error {
+//!     cause: ErrorCause::Syntax(SyntaxError::EmptyParam),
+//!     location: Location::dummy(""),
+//! };
+//! let message = Message::from(&error);
+//! // The lines below require the `annotate-snippets` feature.
+//! # #[cfg(feature = "annotate-snippets")]
+//! # {
+//! let snippet = annotate_snippets::Snippet::from(&message);
+//! eprint!("{}", annotate_snippets::Renderer::plain().render(snippet));
+//! # }
+//! ```
+//!
+//! You can also implement conversion from your custom error object to a
+//! [`Message`], which then can be used in the same way to format a diagnostic
+//! message. To do this, you can either directly implement `From<YourError>` for
+//! `Message`, or implement [`MessageBase`] for `YourError` thereby deriving
+//! `From<&YourError>` for `Message`.
 
 use super::Location;
 use std::borrow::Cow;