You can use the appropriate citation option from below to add a reference to this page.
"HOL." Fullformexpand.com, https://www.fullformexpand.com/hol/38101. Accessed 30 Nov. 2025.
Fullformexpand.com, 2025. "HOL." Accessed November 30, 2025. https://www.fullformexpand.com/hol/38101.
"HOL." (n.d.). Fullformexpand.com. Retrieved November 30, 2025, from https://www.fullformexpand.com/hol/38101.
HOL. (2025). Fullformexpand.com. Available at: https://www.fullformexpand.com/hol/38101 (Accessed: 30 November 2025).